From 8408a1169e3723ce6861b34eb875dab233c69cba Mon Sep 17 00:00:00 2001
From: Ryan <mccleeary@galois.com>
Date: Mon, 29 Jul 2024 16:17:13 -0600
Subject: [PATCH] Start adding tests for exponent TC checks.

---
 tests/issues/issue1489/issue1489.cry         | 4 ++++
 tests/issues/issue1489/issue1489.icry        | 1 +
 tests/issues/issue1489/issue1489.icry.stdout | 3 +++
 3 files changed, 8 insertions(+)
 create mode 100644 tests/issues/issue1489/issue1489.cry
 create mode 100644 tests/issues/issue1489/issue1489.icry
 create mode 100644 tests/issues/issue1489/issue1489.icry.stdout

diff --git a/tests/issues/issue1489/issue1489.cry b/tests/issues/issue1489/issue1489.cry
new file mode 100644
index 000000000..daeb7c45b
--- /dev/null
+++ b/tests/issues/issue1489/issue1489.cry
@@ -0,0 +1,4 @@
+module ID where
+
+id : {k} (fin k, k > 0) => [2^^k] -> [2^^k]
+id x = join(split`{2,2^^(k-1)}x)
\ No newline at end of file
diff --git a/tests/issues/issue1489/issue1489.icry b/tests/issues/issue1489/issue1489.icry
new file mode 100644
index 000000000..972ee633e
--- /dev/null
+++ b/tests/issues/issue1489/issue1489.icry
@@ -0,0 +1 @@
+:load ./issue1489.cry
\ No newline at end of file
diff --git a/tests/issues/issue1489/issue1489.icry.stdout b/tests/issues/issue1489/issue1489.icry.stdout
new file mode 100644
index 000000000..0f044dbc8
--- /dev/null
+++ b/tests/issues/issue1489/issue1489.icry.stdout
@@ -0,0 +1,3 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module ID