On Sat, May 24, 2008 at 3:39 AM, Bulat Ziganshin &lt;<a href="mailto:bulat.ziganshin@gmail.com">bulat.ziganshin@gmail.com</a>&gt; wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Hello Olivier,<br>
<div class="Ih2E3d"><br>
Saturday, May 24, 2008, 5:37:32 AM, you wrote:<br>
<br>
(|&gt;&gt;) = flip (.)<br>
<br>
&gt; I even started to use it in my code and then stopped. It may be a<br>
&gt; stupid concern but as many optimizations performed by GHC are made<br>
&gt; through rewrite rules and I was worried that those rules may not<br>
&gt; fire when using this new operator.<br>
<br>
</div>afaik ghc, |&gt; would be rewritten to flip (.) which would be rewritten<br>
to application of first function to second one and so on. rewrite<br>
rules doesn&#39;t work only on your original code but on intermediate<br>
variations too<br>
<font color="#888888"><br>
</font></blockquote><div>That&#39;s really good news.<br><br>Thanks Bulat,<br><br>Olivier.</div></div><br>