[Haskell-cafe] Is (==) commutative?

Christian Sternagel c.sternagel at gmail.com
Tue Jul 24 10:10:24 CEST 2012

Dear all,

with respect to formal verification of Haskell code I was wondering 
whether (==) of the Eq class is intended to be commutative (for many 
classes such requirements are informally stated in their description, 
since Eq does not have such a statement, I'm asking here). Or are there 
any known cases where commutativity of (==) is violated (due to 
strictness issues)?



More information about the Haskell-Cafe mailing list