Re-add failing unit test for issue#1621

GaloisInc · Apr 1, 2024 · 8d640c8 · 8d640c8
1 parent fe5e9bd
commit 8d640c8
Show file tree

Hide file tree

Showing 4 changed files with 32 additions and 0 deletions.
diff --git a/tests/issues/issue1621/a.cry b/tests/issues/issue1621/a.cry
@@ -0,0 +1,5 @@
+module a where
+
+private
+
+property x = True
diff --git a/tests/issues/issue1621/b.cry b/tests/issues/issue1621/b.cry
@@ -0,0 +1,3 @@
+module b where
+
+import a
diff --git a/tests/issues/issue1621/issue1621.icry b/tests/issues/issue1621/issue1621.icry
@@ -0,0 +1,7 @@
+:m a
+x
+:m b
+x
+:check x
+:check a::x
+:check
diff --git a/tests/issues/issue1621/issue1621.icry.stdout b/tests/issues/issue1621/issue1621.icry.stdout
@@ -0,0 +1,17 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module a
+True
+Loading module Cryptol
+Loading module a
+Loading module b
+
+[error] at issue1621.icry:4:1--4:2
+    Value not in scope: x
+
+[error] at issue1621.icry:5:8--5:9
+    Value not in scope: x
+
+[error] at issue1621.icry:6:8--6:12
+    Value not in scope: a::x
+There are no properties in scope.