Re: [Haskell-cafe] Any precedent or plan for guaranteed-safe Eq and Ord instances?

On Wed, Oct 2, 2013 at 6:57 PM, Stijn van Drongelen wrote:

On Wed, Oct 2, 2013 at 5:36 PM, Roman Cheplyaka wrote:

...

* Stijn van Drongelen [2013-10-02 15:46:42+0200]

...

I do think something has to be done to have an Eq and Ord with more strict laws.

* Operators in Eq and Ord diverge iff any of their parameters are bottom.

This outlaws the Eq instances of lists, trees, and other (co)recursive types.

Furthermore, in this formulation, even Eq for tuples is illegal, because

(undefined, something) == somethingElse

is going to diverge.

Roman

I knew this was going to bite me in the ass. Let me try again:

* Operators in Eq and Ord may only diverge when any of their parameters are bottom.

What am I thinking. Scratch that.