State of DData
simonmar at microsoft.com
Fri Mar 26 12:25:14 EST 2004
> Am Freitag, 26. März 2004 13:11 schrieb Keith Wansbrough:
> > > > 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
> 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.
More information about the Libraries