From 071349d7f3b09b6286a5caa49c3e5e803091faa9 Mon Sep 17 00:00:00 2001
From: Lukasz Czajka <lukasz@heliax.dev>
Date: Fri, 6 Oct 2023 13:30:03 +0200
Subject: [PATCH] inline

---
 Stdlib/Data/Int.juvix | 4 ++--
 Stdlib/Data/Nat.juvix | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/Stdlib/Data/Int.juvix b/Stdlib/Data/Int.juvix
index 5149de07..5ae0ee45 100644
--- 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
index 9e3f75e5..3456c48a 100644
--- 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@{