Re: State of DData

Am Freitag, 26. März 2004 13:25 schrieb Simon Marlow:

[...]

...

In my opinion, even "advanced users" should adhere to The Haskell Report which says that (==) means equality.

Where does the report say that? As far as I can see, the closest quote is this:

The Eq class provides equality (==) and inequality (/=) methods.

(section 6.3.1). The report doesn't explicitly say anywhere that any assumptions about the properties of == are ever made.

If the Report calles (==) an equality method then (==) should implement equality for every Eq instance.

Cheers, Simon

Wolfgang