From 7d821b20efd4a019a4d7c2a0688bba767bd89824 Mon Sep 17 00:00:00 2001 From: rhiannon morris Date: Sun, 27 Feb 2022 01:47:55 +0100 Subject: [PATCH] add %inline to some instances --- src/Quox/Syntax/Var.idr | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/Quox/Syntax/Var.idr b/src/Quox/Syntax/Var.idr index 8513fd2..d555b35 100644 --- a/src/Quox/Syntax/Var.idr +++ b/src/Quox/Syntax/Var.idr @@ -23,12 +23,12 @@ public export (VS i).nat = S i.nat %transform "Var.(.nat)" Var.(.nat) i = believe_me i -public export Cast (Var n) Nat where cast = (.nat) -public export Cast (Var n) Integer where cast = cast . cast {to = Nat} +public export %inline Cast (Var n) Nat where cast = (.nat) +public export %inline Cast (Var n) Integer where cast = cast . cast {to = Nat} -export Eq (Var n) where i == j = i.nat == j.nat -export Ord (Var n) where compare i j = compare i.nat j.nat -export Show (Var n) where showPrec d i = showCon d "V" $ showArg i.nat +export %inline Eq (Var n) where i == j = i.nat == j.nat +export %inline Ord (Var n) where compare i j = compare i.nat j.nat +export %inline Show (Var n) where showPrec d i = showCon d "V" $ showArg i.nat parameters {auto _ : Pretty.HasEnv m}