Hi Dominic, On Fri, Nov 13, 2009 at 9:49 AM, Dominic Steinitz <domi...@steinitz.org> wrote: > I would have expected the prettyprinter to produce this: > > pay tPD (a (length tOD + -1)) > > Do I have to write my own prettyprinter? Do I have to put in explicit > parentheses? The latter seems unsatisfactory as my generated AST is > unambiguous > and bracketing ought to be part of the prettyprinter. The former would be > quite > a lot of code as there are many cases to consider.
I will start by admitting that the prettyprinter is something of the black sheep of HSE, simply because it's been completely inherited from haskell-src and I've hardly messed with at all (except for adding new cases of course). I'm not surprised that it doesn't (yet) work satisfactorily in all cases. Looking at your example, what you want is brackets to be inserted whenever the right subexpression in an application is non-atomic. That certainly seems reasonable to me. Would you file a ticket for it please? http://trac.haskell.org/haskell-src-exts :-) Cheers, /Niklas _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe