Add a test

GaloisInc · Oct 30, 2023 · d8223c1 · d8223c1
1 parent b8ef2b6
commit d8223c1
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/tests/issues/T1584.icry b/tests/issues/T1584.icry
@@ -0,0 +1 @@
+take`{5} [ x+y | x <- [(0:Integer)...], y <- [1] ]
diff --git a/tests/issues/T1584.icry.stdout b/tests/issues/T1584.icry.stdout
@@ -0,0 +1,2 @@
+Loading module Cryptol
+[1, 2, 3, 4, 5]