[Haskell-cafe] Re: instance Eq (a -> b)

Henning Thielemann schlepptop at henning-thielemann.de
Wed Apr 14 06:37:17 EDT 2010

Ashley Yakeley schrieb:
> Joe Fredette wrote:
>> this is bounded, enumerable, but infinite.
> The question is whether there are types like this. If so, we would 
> need a new class:
I assume that comparing functions is more oftenly a mistake then 
actually wanted. Say I have compared
f x == f y
and later I add a parameter to 'f'. Then the above expression becomes a 
function comparison. The compiler could not spot this bug but will 
silently compare functions.

More information about the Haskell-Cafe mailing list