I vote for the current state "left bias+structure last", as the bias should not matter much
Does the bias matter at all if Eq means equality?
It should be documented, so "advanced users" can rely on
Am Freitag, 26. März 2004 13:11 schrieb Keith Wansbrough: the behaviour.
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. Cheers, Simon
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
participants (2)
-
Simon Marlow -
Wolfgang Jeltsch