fix tests/typecheck/success/prelude

PR dhall-lang#674 added new functions to the prelude without updating this test, which now fails. This fixes it.
philandstuff · Aug 22, 2019 · 0931728 · 0931728
1 parent 42dbd5d
commit 0931728
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/tests/typecheck/success/preludeB.dhall b/tests/typecheck/success/preludeB.dhall
@@ -319,6 +319,16 @@
         ∀(n : Natural) → Double
     , toInteger :
         Natural → Integer
+    , lessThan :
+        Natural → Natural → Bool
+    , lessThanEqual :
+        Natural → Natural → Bool
+    , equal :
+        Natural → Natural → Bool
+    , greaterThan :
+        Natural → Natural → Bool
+    , greaterThanEqual :
+        Natural → Natural → Bool
     }
 , Optional :
     { all :