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

move prettyTag to Quox.Pretty

Browse source
This commit is contained in:
rhiannon morris 2023-09-20 21:58:42 +02:00
parent ee22486e97
commit b1eefb0f4d
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
lib/Quox/Pretty.idr
View file

@ -309,3 +309,7 @@ prettyLoc (L NoLoc) =
hcat <$> sequence [hl TVarErr "no location", colonD] hcat <$> sequence [hl TVarErr "no location", colonD]
prettyLoc (L (YesLoc file b)) = prettyLoc (L (YesLoc file b)) =
hcat <$> sequence [hl Free $ text file, colonD, prettyBounds b] hcat <$> sequence [hl Free $ text file, colonD, prettyBounds b]
export
prettyTag : {opts : _} -> String -> Eff Pretty (Doc opts)
prettyTag tag = hl Tag $ text $ "'" ++ quoteTag tag

4
lib/Quox/Syntax/Term/Pretty.idr
View file

@ -283,10 +283,6 @@ layoutComp typq val r arms = do
[typq, [val, r <++> lb], map (indent ind) arms, [rb]]) [typq, [val, r <++> lb], map (indent ind) arms, [rb]])
export
prettyTag : {opts : _} -> String -> Eff Pretty (Doc opts)
prettyTag tag = hl Tag $ text $ "'" ++ quoteTag tag
export export
prettyEnum : {opts : _} -> List String -> Eff Pretty (Doc opts) prettyEnum : {opts : _} -> List String -> Eff Pretty (Doc opts)
prettyEnum cases = prettyEnum cases =