lawbreakers in Text.PrettyPrint.HughesPJ

Christian Maeder maeder at tzi.de
Thu Nov 24 11:56:00 EST 2005


Conal Elliott wrote:
>> Can you construct an example [...]
> 
>     Prelude Text.PrettyPrint> isEmpty (empty<>empty)
>     False

Indeed, isEmpty seems to be the problem that needs a fix:

   isEmpty d     = case reduceDoc d of
                 Empty -> True
                 _ -> False

Christian


More information about the Libraries mailing list