How to describe this bug?

Sönke Hahn shahn at
Tue Jul 10 12:42:35 CEST 2012


I've discovered a strange bug that violates simple equational reasoning.
Basically, something similar to this:

let a = f x
in a == f x

evaluates to False.

I'd like to report this on ghc-trac, but I realised, that I don't know a
good name for behaviour like this. Is there one? "Broken referential
transparency", perhaps?


More information about the Glasgow-haskell-users mailing list