Update for Juvix 0.5.1

anoma · Sep 15, 2023 · a7ac74c · a7ac74c
1 parent a94c617
commit a7ac74c
Show file tree

Hide file tree

Showing 4 changed files with 5 additions and 5 deletions.
diff --git a/Example.juvix b/Example.juvix
@@ -7,7 +7,7 @@ import Stdlib.Data.Nat.Ord open;
 tests : List Test :=
   [testCase
     "1 == 1"
-    (assertEqual eqNatI "1 /= 1" 1 1); testCase
+    (assertEqual "1 /= 1" 1 1); testCase
     "not (1 == 1)"
     (assertFalse "1 == 1" (1 == 1))];
 

diff --git a/README.md b/README.md
@@ -13,7 +13,7 @@ import Stdlib.Prelude open;
 import Test.JuvixUnit open;
 
 tests : List Test :=
-  [testCase "1 == 1" (assertEqual eqNatI "1 /= 1" 1 1)];
+  [testCase "1 == 1" (assertEqual "1 /= 1" 1 1)];
 
 main : IO := runTestSuite (testSuite "Example" tests);
 ```

diff --git a/Test/JuvixUnit.juvix b/Test/JuvixUnit.juvix
@@ -68,5 +68,5 @@ assertJust {A} (msg : String) : Maybe A -> Assertion :=
 assertNothing {A} (mkMsg : A -> String)
   : Maybe A -> Assertion := maybe pass (fail ∘ mkMsg);
 
-assertEqual {A} (eqI : Eq A) (msg : String) (a1 a2 : A)
-  : Assertion := failUnless msg (Eq.eq {{eqI}} a1 a2);
+assertEqual {A} {{Eq A}} (msg : String) (a1 a2 : A)
+  : Assertion := failUnless msg (Eq.eq a1 a2);
diff --git a/juvix.yaml b/juvix.yaml
@@ -4,4 +4,4 @@ dependencies:
     ref: 4facf14d9b2d06b81ce1be1882aa9050f768cb45
     name: stdlib
 name: test
-version: 0.6.0
+version: 0.6.1