lawbreakers in Text.PrettyPrint.HughesPJ

[Simon Peyton-Jones]

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!

Simon

| -----Original Message-----
| From: libraries-bounces at haskell.org
[mailto:libraries-bounces at haskell.org] On Behalf Of Christian
| Maeder
| Sent: 24 November 2005 18:05
| To: Conal Elliott
| Cc: libraries at haskell.org
| Subject: Re: lawbreakers in Text.PrettyPrint.HughesPJ
| 
| Conal Elliott wrote:
| > Or the combinators (<>, $$, etc) might take care to build their
results
| > 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
used
| 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
combinators
| > aren't going to ensure that's true, then probably the comment should
be
| > removed or fixed.
| 
| The comment only seems to apply to RDoc that don't have Above or
Beside
| (at least on the top-level).
| 
| Christian
| _______________________________________________
| Libraries mailing list
| Libraries at haskell.org
| http://www.haskell.org/mailman/listinfo/libraries