Correct opening brace in implicits in pprinter
Before:
Prelude.Basics.id : (a : Type} -> (__pi_arg : a) -> a
After:
Prelude.Basics.id : {a : Type} -> (__pi_arg : a) -> a
commitee4c96eecfb33278d427229dda5042deeb3dfe3b
authorDavid Raymond Christiansen <david@davidchristiansen.dk>
dateMon 21 Apr 2014, 10:30 (13 years ago)
parent9abed6a
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1133,7 +1133,7 @@ pprintPTerm impl bnd docArgs = prettySe 10 bnd
11331133 prettySe p bnd (PPi (Imp l s _) n ty sc)
11341134 | impl =
11351135 bracket p 2 $
1136− lparen <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1136+ lbrace <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
11371137 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
11381138 | otherwise = prettySe 10 ((n, True):bnd) sc
11391139 where