Update regression test for issue #835. (#1417)

GaloisInc · Aug 26, 2022 · bc92cd0 · bc92cd0
1 parent 46d2e05
commit bc92cd0
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 7 deletions.
diff --git a/tests/issues/issue835.icry b/tests/issues/issue835.icry
@@ -1,2 +1,2 @@
 :m Float
-:t (zero : Float 5 11) <$ zero
+:t number`{1, Float _ _}
diff --git a/tests/issues/issue835.icry.stdout b/tests/issues/issue835.icry.stdout
@@ -1,9 +1,5 @@
 Loading module Cryptol
 Loading module Cryptol
 Loading module Float
-
-[error] at issue835.icry:2:4--2:31:
-  • Type `Float 5 11` does not support signed comparisons.
-      arising from
-      use of expression (<$)
-      at issue835.icry:2:4--2:31
+number`{1, Float _ _} :
+  {n, m} (ValidFloat n m, Literal 1 (Float n m)) => Float n m