Merge pull request #1097 from david-christiansen/pprint
Correct opening brace in implicits in pprinter
commit3badee5126d372a3b729c9e34b2d17fd7c035548
authorEdwin Brady <edwin.brady@gmail.com>
dateWed 23 Apr 2014, 19:33 (13 years ago)
parent140d8d2ee4c96e
src/Idris/AbsSyntaxTree.hs+1−1
@@ -1174,7 +1174,7 @@ pprintPTerm impl bnd docArgs = prettySe 10 bnd
11741174 prettySe p bnd (PPi (Imp l s _) n ty sc)
11751175 | impl =
11761176 bracket p 2 $
1177− lparen <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
1177+ lbrace <> bindingOf n True <+> colon <+> prettySe 10 bnd ty <> rbrace <+>
11781178 st <> text "->" </> prettySe 10 ((n, True):bnd) sc
11791179 | otherwise = prettySe 10 ((n, True):bnd) sc
11801180 where