[Haskell-cafe] Does GHC compare pointers when eval'ing (==)

Barak A. Pearlmutter barak at cs.nuim.ie
Wed Aug 20 20:45:23 UTC 2014

You don't need to define a new weird datatype in order to violate
reflexivity, as an eminent IEEE committee has already designed one for

Prelude> let x = 0/0 in x == x

More information about the Haskell-Cafe mailing list