[Haskell-cafe] Re: NaN, Infinity literals

[Ashley Yakeley]

Bertram Felgenhauer wrote:

> This is correct according to the IEEE 754 standard, which defines
> that NaN compares unequal to everything, including itself.

This is numerically useful, perhaps, but nonetheless disturbing. For it 
would be helpful to expect that any type that presumes to be an instance 
of Eq has a == a = True.

There really are two different notions of equality here. Perhaps they 
should be given two different names in the language?

-- 
Ashley Yakeley
Seattle, WA