inline

anoma · Oct 6, 2023 · 9970a3f · 9970a3f
1 parent 071349d
commit 9970a3f
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/Stdlib/Data/Int.juvix b/Stdlib/Data/Int.juvix
@@ -20,9 +20,11 @@ import Stdlib.Data.Int.Ord as Int;
 builtin int-to-string
 axiom intToString : Int -> String;
 
+{-# inline: true #-}
 instance
 eqIntI : Eq Int := mkEq (Int.==);
 
+{-# inline: true #-}
 instance
 ordIntI : Ord Int := mkOrd Int.compare;
 

diff --git a/Stdlib/Data/Nat.juvix b/Stdlib/Data/Nat.juvix
@@ -21,9 +21,11 @@ axiom natToString : Nat -> String;
 builtin string-to-nat
 axiom stringToNat : String -> Nat;
 
+{-# inline: true #-}
 instance
 eqNatI : Eq Nat := mkEq (Nat.==);
 
+{-# inline: true #-}
 instance
 ordNatI : Ord Nat := mkOrd Nat.compare;