Issue #148 is fixed now

GaloisInc · Aug 15, 2015 · d71fd8a · d71fd8a
1 parent dce6f99
commit d71fd8a
Show file tree

Hide file tree

Showing 3 changed files with 20 additions and 2 deletions.
diff --git a/tests/issues/issue148.icry b/tests/issues/issue148.icry
@@ -1 +1,2 @@
 :l issue148.cry
+:sat (\(e:[64]) -> (e@@[8..24]) != zero)
diff --git a/tests/issues/issue148.icry.fails b/tests/issues/issue148.icry.fails
diff --git a/tests/issues/issue148.icry.stdout b/tests/issues/issue148.icry.stdout
@@ -1 +1,19 @@
-Should load and typecheck cleanly - no errors. Once it does, I'll put in a smoketest of reasonable output.
+Loading module Cryptol
+Loading module Cryptol
+Loading module Main
+[warning] at ./issue148.cry:2:1--9:10:
+  Defaulting type parameter 'bits'
+             of literal or demoted expression
+             at ./issue148.cry:4:34--4:35
+  to max 2 (width a`193)
+[warning] at ./issue148.cry:2:1--9:10:
+  Defaulting 2nd type parameter
+             of expression take
+             at ./issue148.cry:6:10--6:14
+  to 16 * a`193
+[warning] at <interactive>:1:1--1:36:
+  Defaulting type parameter 'bits'
+             of finite enumeration
+             at <interactive>:1:19--1:26
+  to 5
+(\(e : [64]) -> (e @@ [8 .. 24]) != zero) 0x0000008000000000 = True
Original file line number	Diff line number	Diff line change
		@@ -1 +1,2 @@
		:l issue148.cry
		:sat (\(e:[64]) -> (e@@[8..24]) != zero)