fix Trait.Ord

anoma · Oct 5, 2023 · 02a155b · 02a155b
1 parent 93f2f35
commit 02a155b
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 2 deletions.
diff --git a/Stdlib/Data/Int/Ord.juvix b/Stdlib/Data/Int/Ord.juvix
@@ -45,6 +45,7 @@ syntax operator >= comparison;
 >= (m n : Int) : Bool := n <= m;
 
 --- Tests for ;Ordering;.
+{-# inline: true #-}
 compare (m n : Int) : Ordering :=
   if (m == n) EQ (if (m < n) LT GT);
 

diff --git a/Stdlib/Data/Nat/Ord.juvix b/Stdlib/Data/Nat/Ord.juvix
@@ -47,6 +47,7 @@ syntax operator >= comparison;
 >= (n m : Nat) : Bool := m <= n;
 
 --- Tests for ;Ordering;.
+{-# inline: true #-}
 compare (n m : Nat) : Ordering :=
   if (n == m) EQ (if (n < m) LT GT);
 

diff --git a/Stdlib/Trait/Ord.juvix b/Stdlib/Trait/Ord.juvix
@@ -40,8 +40,8 @@ syntax operator < comparison;
 --- Returns ;true; iff the first element is less than the second.
 < {A} {{Ord A}} (x y : A) : Bool :=
   case Ord.cmp x y of {
-    | EQ := true
-    | LT := false
+    | EQ := false
+    | LT := true
     | GT := false
   };