State of DData
wolfgang at jeltsch.net
Fri Mar 26 14:11:15 EST 2004
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
> 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.
More information about the Libraries