anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-13 11:16:48 +03:00
Code Issues Projects Releases Wiki Activity

[pretty] print match alt patterns as atoms

Browse Source
This commit is contained in:
Jan Mas Rovira 2022-02-18 21:52:19 +01:00
parent 8629ccee53
commit d3e060af52
1 changed files with 3 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
src/MiniJuvix/Syntax/Concrete/Scoped/Pretty/Base.hs
View File

@ -481,7 +481,7 @@ ppBlock items = mapM (fmap endSemicolon . ppCode) items >>= bracesIndent . vsep
instance SingI s => PrettyCode (MatchAlt s) where
ppCode MatchAlt {..} = do
matchAltPattern' <- ppPattern matchAltPattern
matchAltPattern' <- ppPatternAtom matchAltPattern
matchAltBody' <- ppExpression matchAltBody
return $ matchAltPattern' <+> kwMapsto <+> matchAltBody'
@ -633,8 +633,6 @@ instance PrettyCode PostfixApplication where
instance PrettyCode Application where
ppCode (Application l r) = do
-- Note: parentheses on the left of an application are never necessary,
-- but I prefer homogeneous code.
l' <- ppLeftExpression appFixity l
r' <- ppRightExpression appFixity r
return $ l' <+> r'
@ -776,8 +774,8 @@ ppLeftExpression = ppLRExpression isLeftAssoc
ppLRExpression
:: (HasFixity a, PrettyCode a, Member (Reader Options) r) =>
(Fixity -> Bool) -> Fixity -> a -> Sem r (Doc Ann)
ppLRExpression associates atom e =
parensCond (atomParens associates (getFixity e) atom)
ppLRExpression associates fixlr e =
parensCond (atomParens associates (getFixity e) fixlr)
<$> ppCode e
instance SingI s => PrettyCode (ExpressionAtom s) where