Add a test for #1510

GaloisInc · Mar 28, 2023 · 0289fbf · 0289fbf
1 parent cbd87a8
commit 0289fbf
Show file tree

Hide file tree

Showing 4 changed files with 28 additions and 0 deletions.
diff --git a/tests/issues/Issue1510_F.cry b/tests/issues/Issue1510_F.cry
@@ -0,0 +1,13 @@
+module Issue1510_F where
+
+parameter
+  type n: #
+
+submodule S where
+  parameter
+    type m: #
+
+  x : Integer
+  x = 0 ^^ 1  // crashes
+  // x = 0 ^^ (1 : Integer)  // works
+
diff --git a/tests/issues/Issue1510_T.cry b/tests/issues/Issue1510_T.cry
@@ -0,0 +1,7 @@
+module Issue1510_T where
+
+import Issue1510_F where
+  type n = 1
+
+import submodule S where
+  type m = 1
diff --git a/tests/issues/issue1510.icry b/tests/issues/issue1510.icry
@@ -0,0 +1,2 @@
+:load Issue1510_T.cry
+x
diff --git a/tests/issues/issue1510.icry.stdout b/tests/issues/issue1510.icry.stdout
@@ -0,0 +1,6 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading interface module `parameter` interface of Issue1510_F
+Loading module Issue1510_F
+Loading module Issue1510_T
+0