inline

anoma · Oct 6, 2023 · 071349d · 071349d
1 parent 28fcb36
commit 071349d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/Stdlib/Data/Int.juvix b/Stdlib/Data/Int.juvix
@@ -29,7 +29,7 @@ ordIntI : Ord Int := mkOrd Int.compare;
 instance
 showIntI : Show Int := mkShow intToString;
 
-{-# specialize: true #-}
+{-# specialize: true, inline: true #-}
 instance
 naturalIntI : Natural Int :=
   mkNatural@{
@@ -40,7 +40,7 @@ naturalIntI : Natural Int :=
     fromNat := ofNat;
   };
 
-{-# specialize: true #-}
+{-# specialize: true, inline: true #-}
 instance
 integralIntI : Integral Int :=
   mkIntegral@{

diff --git a/Stdlib/Data/Nat.juvix b/Stdlib/Data/Nat.juvix
@@ -30,7 +30,7 @@ ordNatI : Ord Nat := mkOrd Nat.compare;
 instance
 showNatI : Show Nat := mkShow natToString;
 
-{-# specialize: true #-}
+{-# specialize: true, inline: true #-}
 instance
 naturalNatI : Natural Nat :=
   mkNatural@{