Add regression test for issue #835.

GaloisInc · Jul 28, 2020 · e48e9f8 · e48e9f8
1 parent 9a5b04a
commit e48e9f8
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 0 deletions.
diff --git a/tests/issues/issue835.icry b/tests/issues/issue835.icry
@@ -0,0 +1,2 @@
+:m Float
+:t (zero : Float 5 11) <$ zero
diff --git a/tests/issues/issue835.icry.stdout b/tests/issues/issue835.icry.stdout
@@ -0,0 +1,10 @@
+Loading module Cryptol
+Loading module Cryptol
+Loading module Float
+
+[error] at <interactive>:1:1--1:28:
+  Unsolved constraints:
+    • SignedCmp (Float 5 11)
+        arising from
+        use of expression (<$)
+        at <interactive>:1:1--1:28