Re: Left-bias and non-structural equality.

On Thursday 05 Jan 2006 9:55 am, Jean-Philippe Bernardy wrote:

On 1/5/06, Christian Maeder 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? Regards -- Adrian Hey