Add test case for issue640

I think we've finally cracked the nut on this strictness bug. Fixes #640
GaloisInc · Apr 6, 2021 · 04ad6da · 04ad6da
1 parent 1b3aea0
commit 04ad6da
Show file tree

Hide file tree

Showing 3 changed files with 22 additions and 0 deletions.
diff --git a/tests/issues/issue640.cry b/tests/issues/issue640.cry
@@ -0,0 +1,11 @@
+f : [1] -> [2]
+f x = out
+  where out = x # [out@0]
+
+g : [1] -> [2]
+g x = out
+  where out = x # (take out)
+
+h : [1] [8] -> [2] [8]
+h x = out
+  where out = x # take out
diff --git a/tests/issues/issue640.icry b/tests/issues/issue640.icry
@@ -0,0 +1,5 @@
+:load issue640.cry
+
+f zero
+g zero
+h zero
diff --git a/tests/issues/issue640.icry.stdout b/tests/issues/issue640.icry.stdout
@@ -0,0 +1,6 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+0x0
+0x0
+[0x00, 0x00]