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

pretty print E constructor as [brackets]

Browse source
This commit is contained in:
rhiannon morris 2022-08-22 10:08:18 +02:00
parent 6dd18d89bd
commit 413c454898
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/Term/Pretty.idr
View file

@ -40,7 +40,7 @@ mutual
sep [!lamD, hl TVar !(prettyM x), !arrowD] sep [!lamD, hl TVar !(prettyM x), !arrowD]
<//> !(under T x $ prettyM t) <//> !(under T x $ prettyM t)
prettyM (E e) = prettyM (E e) =
prettyM e pure $ hl Delim "[" <+> !(prettyM e) <+> hl Delim "]"
prettyM (CloT s th) = prettyM (CloT s th) =
parensIfM SApp . hang 2 =<< parensIfM SApp . hang 2 =<<
[|withPrec SApp (prettyM s) </> prettyTSubst th|] [|withPrec SApp (prettyM s) </> prettyTSubst th|]