Fix parenthesization of if ... then ... else ... in pprint
commita60414395d49c88dd01a21770e5199793bd0b9e2
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateWed 3 Jun 2015, 10:56 (11 years ago)
parent3a2e54d
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1580,7 +1580,7 @@ pprintPTerm ppo bnd docArgs infixes = prettySe startPrec bnd
15801580 noNS _ = True
15811581
15821582 prettySe p bnd (PIfThenElse _ c t f) =
1583− group . align . hang 2 . vsep $
1583+ bracket p funcAppPrec . group . align . hang 2 . vsep $
15841584 [ kwd "if" <+> prettySe startPrec bnd c
15851585 , kwd "then" <+> prettySe startPrec bnd t
15861586 , kwd "else" <+> prettySe startPrec bnd f