lawbreakers in Text.PrettyPrint.HughesPJ

Simon Peyton-Jones simonpj at
Fri Nov 25 03:35:46 EST 2005

It's a long time since I looked at this library.  If you two can agree
on what needs to be done, I'll gladly execute the change!


| -----Original Message-----
| From: libraries-bounces at
[mailto:libraries-bounces at] On Behalf Of Christian
| Maeder
| Sent: 24 November 2005 18:05
| To: Conal Elliott
| Cc: libraries at
| Subject: Re: lawbreakers in Text.PrettyPrint.HughesPJ
| Conal Elliott wrote:
| > Or the combinators (<>, $$, etc) might take care to build their
| > in reduced form, which seems to be the strategy that "nest" takes.
| maybe that is possible, too (as now an extra call of reduceDoc for
| isEmpty is done). Fortunately isEmpty is rarely used, and if it is
| the original input is usually thrown away.
| > BTW, there's an invariant comment (about Doc, I think) that says "An
| > empty document is always represented by @Empty at ."  If the
| > aren't going to ensure that's true, then probably the comment should
| > removed or fixed.
| The comment only seems to apply to RDoc that don't have Above or
| (at least on the top-level).
| Christian
| _______________________________________________
| Libraries mailing list
| Libraries at

More information about the Libraries mailing list