specialization

anoma · Oct 5, 2023 · 0146fe2 · 0146fe2
1 parent 02a155b
commit 0146fe2
Show file tree

Hide file tree

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

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