From a1d8fd4ab5eae022769e7abba5f8e7b7058c72a4 Mon Sep 17 00:00:00 2001
From: rhiannon morris <rhi@rhiannon.website>
Date: Fri, 12 Apr 2024 21:52:36 +0200
Subject: [PATCH] %inline

---
 lib/Quox/Parser/Syntax.idr | 22 +++++++++++-----------
 1 file changed, 11 insertions(+), 11 deletions(-)

diff --git a/lib/Quox/Parser/Syntax.idr b/lib/Quox/Parser/Syntax.idr
index 9c8609f..9197efe 100644
--- a/lib/Quox/Parser/Syntax.idr
+++ b/lib/Quox/Parser/Syntax.idr
@@ -18,7 +18,7 @@ data PatVar = Unused Loc | PV PBaseName Loc
 %name PatVar v
 %runElab derive "PatVar" [Eq, Ord, Show, PrettyVal]
 
-export
+export %inline
 Located PatVar where
   (Unused loc).loc = loc
   (PV _   loc).loc = loc
@@ -42,7 +42,7 @@ record PQty where
 %name PQty qty
 %runElab derive "PQty" [Eq, Ord, Show, PrettyVal]
 
-export Located PQty where q.loc = q.loc_
+export %inline Located PQty where q.loc = q.loc_
 
 namespace PDim
   public export
@@ -50,7 +50,7 @@ namespace PDim
   %name PDim p, q
   %runElab derive "PDim" [Eq, Ord, Show, PrettyVal]
 
-export
+export %inline
 Located PDim where
   (K _ loc).loc = loc
   (V _ loc).loc = loc
@@ -119,7 +119,7 @@ namespace PTerm
 
 %runElab deriveMutual ["PTerm", "PCaseBody"] [Eq, Ord, Show, PrettyVal]
 
-export
+export %inline
 Located PTerm where
   (TYPE    _             loc).loc = loc
   (IOState               loc).loc = loc
@@ -149,7 +149,7 @@ Located PTerm where
   (Comp    _ _ _ _ _ _ _ loc).loc = loc
   (Let     _ _           loc).loc = loc
 
-export
+export %inline
 Located PCaseBody where
   (CasePair _ _ loc).loc = loc
   (CaseEnum _   loc).loc = loc
@@ -183,7 +183,7 @@ record PDefinition where
 %name PDefinition def
 %runElab derive "PDefinition" [Eq, Ord, Show, PrettyVal]
 
-export Located PDefinition where def.loc = def.loc_
+export %inline Located PDefinition where def.loc = def.loc_
 
 public export
 data PPragma =
@@ -192,7 +192,7 @@ data PPragma =
 %name PPragma prag
 %runElab derive "PPragma" [Eq, Ord, Show, PrettyVal]
 
-export
+export %inline
 Located PPragma where
   (PLogPush _ loc).loc = loc
   (PLogPop    loc).loc = loc
@@ -215,9 +215,9 @@ mutual
   %name PDecl decl
 %runElab deriveMutual ["PNamespace", "PDecl"] [Eq, Ord, Show, PrettyVal]
 
-export Located PNamespace where ns.loc = ns.loc_
+export %inline Located PNamespace where ns.loc = ns.loc_
 
-export
+export %inline
 Located PDecl where
   (PDef  d).loc    = d.loc
   (PNs   ns).loc   = ns.loc
@@ -228,7 +228,7 @@ data PTopLevel = PD PDecl | PLoad String Loc
 %name PTopLevel t
 %runElab derive "PTopLevel" [Eq, Ord, Show, PrettyVal]
 
-export
+export %inline
 Located PTopLevel where
   (PD    decl).loc  = decl.loc
   (PLoad _ loc).loc = loc
@@ -243,7 +243,7 @@ record PAttr where
 %name PAttr attr
 %runElab derive "PAttr" [Eq, Ord, Show, PrettyVal]
 
-export Located PAttr where attr.loc = attr.loc_
+export %inline Located PAttr where attr.loc = attr.loc_
 
 
 public export