
20 Apr
2009
20 Apr
'09
11:34 a.m.
On Mon, Apr 20, 2009 at 7:57 AM, Achim Schneider
Lennart Augustsson
wrote: On Sun, Apr 19, 2009 at 10:43 PM, Peter Verswyvelen
wrote: For example, suppose you have a predicate a -> Bool, and a list of these predicates [a -> Bool], but you want to remove all functions that are obviously equal in the C way from the list for optimization... Okay big hack, and one could do this already with reallyUnsafePtrEquality# I guess...
And when the need gets big enough you pull out StablePtr and use that. :)
Waaagh! Don't give him ideas, he's going to do it...
Nah, I don't think so. I think, even after all this mess, we've been relatively clear that Eq is how you do it. Luke