On 4 June 2010 12:33, Ivan Lazar Miljenovic <span dir="ltr">&lt;<a href="mailto:ivan.miljenovic@gmail.com">ivan.miljenovic@gmail.com</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">Ozgur Akgun &lt;<a href="mailto:ozgurakgun@gmail.com">ozgurakgun@gmail.com</a>&gt; writes:<br>
[...]<br>
&gt;<br>
&gt; What stops us from allowing alphanum characters appear in the Infix version<br>
&gt; (after the colon)? Can&#39;t it be relaxed to only start woth a colon?<br>
<br>
</div>The definition.  I believe this is probably to make parsing of<br>
&quot;foo:&lt;bar&quot; (using your example below) unambiguous, the same as how<br>
symbolic operators can&#39;t contain alphanumeric characters, etc.<br>
<div class="im"><br></div></blockquote><div><br>I see.<br>Then people would need to put spaces between those things, right?<br>What a horrible consequence!<br> <br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div class="im">
&gt;<br>
&gt; So I want to be able to say something like:<br>
&gt;<br>
&gt; data Expr = Expr :&lt;   Expr          -- checks for LT betwen two Expr&#39;s<br>
&gt;           | Expr :&lt;2  Expr          -- a different implementation of the<br>
&gt; same thing maybe<br>
&gt;           | Expr :&lt;veryfast Expr    -- and the veryfast implementation<br>
&gt; of it<br>
<br>
</div>How does a data structure have a faster implementation? &gt;_&gt;<br>
</blockquote><div><br><br>Well it might indicate to use a different function while evaluating the expression.<br>Still not a good example, I know.<br></div></div><br>Best,<br>Ozgur<br>