<div class="gmail_quote">On Mon, Apr 20, 2009 at 7:57 AM, Achim Schneider <span dir="ltr">&lt;<a href="mailto:barsoap@web.de">barsoap@web.de</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
<div class="im">Lennart Augustsson &lt;<a href="mailto:lennart@augustsson.net">lennart@augustsson.net</a>&gt; wrote:<br>
<br>
</div><div class="im">&gt; On Sun, Apr 19, 2009 at 10:43 PM, Peter Verswyvelen<br>
&gt; &lt;<a href="mailto:bugfact@gmail.com">bugfact@gmail.com</a>&gt; wrote:<br>
</div><div class="im">&gt; &gt; For example, suppose you have a predicate a -&gt; Bool, and a list of<br>
&gt; &gt; these predicates [a -&gt; Bool], but you want to remove all functions<br>
&gt; &gt; that are obviously equal in the C way from the list for<br>
&gt; &gt; optimization... Okay big hack, and one could do this already with<br>
&gt; &gt; reallyUnsafePtrEquality# I guess...<br>
&gt;<br>
</div><div class="im">&gt; And when the need gets big enough you pull out StablePtr and use<br>
&gt; that. :)<br>
&gt;<br>
</div>Waaagh! Don&#39;t give him ideas, he&#39;s going to do it... </blockquote><div><br></div><div>Nah, I don&#39;t think so.</div><div><br></div><div>I think, even after all this mess, we&#39;ve been relatively clear that Eq is how you do it.</div>
<div><br></div><div>Luke</div></div>