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

print bound vars as e.g. x#1 instead of x:1

Browse source
This commit is contained in:
rhiannon morris 2023-02-26 11:21:47 +01:00
parent 4826c35ad6
commit ab63edf572
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/Quox/Syntax/Var.idr
View file

@ -45,7 +45,7 @@ parameters {auto _ : Pretty.HasEnv m}
private private
prettyIndex : Nat -> m (Doc a) prettyIndex : Nat -> m (Doc a)
prettyIndex i = prettyIndex i =
ifUnicode (pretty $ pack $ map sup $ unpack $ show i) (":" <+> pretty i) ifUnicode (pretty $ pack $ map sup $ unpack $ show i) ("#" <+> pretty i)
where where
sup : Char -> Char sup : Char -> Char
sup c = case c of sup c = case c of