On 9/23/05, <b class="gmail_sendername">Anders Höckersten</b> <<a href="mailto:chucky@dtek.chalmers.se">chucky@dtek.chalmers.se</a>> wrote:<div><span class="gmail_quote"></span><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<br>Thank you for your answer. That does make some sense. On the other hand,<br>I am not sure I think this behaviour is reasonable. I think these two<br>should be equivalent:<br>Text.PrettyPrint.HughesPJ> text "foo" <+> empty <> text "bar"
<br>foobar<br>Text.PrettyPrint.HughesPJ> text "foo" <+> text "" <> text "bar"<br>foo bar<br><br>I argue that (text "" == empty) and that I should be able to use them<br>
synonymously. The point I think I'm trying to make is that I have used<br>this pretty printing library for a while now, and I have never had to<br>worry about the precedence of the operators before.</blockquote><div><br>
I'm not sure I agree, but if you really want that, maybe you could simply make your<br>
own module where<br>
empty = text ""<br>
or<br>
text "" = empty<br>
test x = HughesPJ.test x<br>
<br>
Best regards<br>
Tomasz<br>
</div></div>