Add regression test for #894.

GaloisInc · Sep 23, 2020 · eaab5e9 · eaab5e9
1 parent 439ee28
commit eaab5e9
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/tests/issues/issue894.cry b/tests/issues/issue894.cry
@@ -0,0 +1,4 @@
+type Int n = Integer
+
+foo : {n} (fin n) => [n] -> Int n
+foo x = `n
diff --git a/tests/issues/issue894.icry b/tests/issues/issue894.icry
@@ -0,0 +1,2 @@
+:l issue894.cry
+:t foo 0x1
diff --git a/tests/issues/issue894.icry.stdout b/tests/issues/issue894.icry.stdout
@@ -0,0 +1,7 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+[warning] at issue894.cry:1:10--1:11 Unused name: n
+[warning] at issue894.cry:1:6--1:9:
+  Assuming  n to have a numeric type
+foo 0x1 : Int 4