State of DData

[Simon Marlow]

> 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.

Cheers,
	Simon