rhi/quox
rhi/quox
1
0
Fork 0
Code Issues 15 Pull requests 1 Releases Wiki Activity

%inline

Browse source
This commit is contained in:
rhiannon morris 2024-04-12 21:52:36 +02:00
parent 9d60f366cf
commit a1d8fd4ab5
1 changed files with 11 additions and 11 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

22
lib/Quox/Parser/Syntax.idr
View file

@ -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