update examples

anoma · Feb 18, 2025 · 9b629fd · 9b629fd
1 parent a10aa52
commit 9b629fd
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 5 deletions.
diff --git a/examples/milestone/TicTacToe/Logic/Square.juvix b/examples/milestone/TicTacToe/Logic/Square.juvix
@@ -18,7 +18,7 @@ type Square :=
 instance
 eqSquareI : Eq Square :=
   mkEq@{
-    eq (square1 square2 : Square) : Bool :=
+    isEqual (square1 square2 : Square) : Bool :=
       case square1, square2 of
         | empty m, empty n := m == n
         | occupied s, occupied t := s == t

diff --git a/examples/milestone/TicTacToe/Logic/Symbol.juvix b/examples/milestone/TicTacToe/Logic/Symbol.juvix
@@ -13,7 +13,7 @@ type Symbol :=
 instance
 eqSymbolI : Eq Symbol :=
   mkEq@{
-    eq (sym1 sym2 : Symbol) : Bool :=
+    isEqual (sym1 sym2 : Symbol) : Bool :=
       case sym1, sym2 of
         | O, O := true
         | X, X := true

diff --git a/tests/Compilation/positive/test069.juvix b/tests/Compilation/positive/test069.juvix
@@ -2,7 +2,6 @@
 module test069;
 
 import Stdlib.Data.Nat open hiding {Ord; mkOrd};
-import Stdlib.Data.Nat.Ord as NatOrd;
 import Stdlib.Data.Pair as Ord;
 import Stdlib.Data.Bool.Base open;
 import Stdlib.Trait.Ord open using {Ordering; LessThan; Equal; GreaterThan; isLessThan; isGreaterThan};

diff --git a/tests/Internal/positive/QuickSort.juvix b/tests/Internal/positive/QuickSort.juvix
@@ -39,5 +39,5 @@ four : Nat := suc three;
 
 main : List Nat :=
   uniq
-    Ord.cmp
-    (quickSort Ord.cmp (flatten (gen2 three four nil)));
+    Ord.compare
+    (quickSort Ord.compare (flatten (gen2 three four nil)));