On 9/23/05, <b class="gmail_sendername">Anders Höckersten</b> &lt;<a href="mailto:chucky@dtek.chalmers.se">chucky@dtek.chalmers.se</a>&gt; 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&gt; text &quot;foo&quot; &lt;+&gt; empty &lt;&gt; text &quot;bar&quot;
<br>foobar<br>Text.PrettyPrint.HughesPJ&gt; text &quot;foo&quot; &lt;+&gt; text &quot;&quot; &lt;&gt; text &quot;bar&quot;<br>foo bar<br><br>I argue that (text &quot;&quot; == 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>
&nbsp; empty = text &quot;&quot;<br>
or<br>
&nbsp; text &quot;&quot; = empty<br>
&nbsp; test x&nbsp; = HughesPJ.test x<br>
<br>
Best regards<br>
Tomasz<br>
</div></div>