Left-bias and non-structural equality.
ahey at iee.org
Thu Jan 5 10:52:41 EST 2006
On Thursday 05 Jan 2006 9:55 am, Jean-Philippe Bernardy wrote:
> On 1/5/06, Christian Maeder <maeder at tzi.de> wrote:
> > > I would discourage such a use. This is exaclty why we provide Maps,
> > > after all.
> > I still agree, but it might be nice to have for testing, comparison, and
> > property specification purposes.
> > Christian
> Indeed, that's what I did to write the left-bias testing code. As it
> is, we can choose to enable or disable ill-defined Eq it when testing
> any given specific collection data-type.
So do you propose to specify biasing or not?
More information about the Libraries