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@haskell.org [mailto:libraries-bounces@haskell.org] On Behalf Of Christian | Maeder | Sent: 24 November 2005 18:05 | To: Conal Elliott | Cc: libraries@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@." 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@haskell.org | http://www.haskell.org/mailman/listinfo/libraries