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

Tom Ellis tom-lists-haskell-cafe-2013
Wed Oct 2 14:17:41 UTC 2013


On Wed, Oct 02, 2013 at 03:46:42PM +0200, Stijn van Drongelen wrote:
> * Operators in Eq and Ord diverge iff any of their parameters are bottom.

What's the benefit of this requirement, as opposed to, for example

   False <= _ = True
   ...

Tom




More information about the Haskell-Cafe mailing list