Re: How to describe this bug?

Also, it is more likely to be a buggy instance of Eq, than a real loss of referential transparency. Regards, Malcolm On Jul 10, 2012, at 11:49 AM, Christopher Done wrote:

Depends what the real offending code is. For example, if it contains unsafePerformIO then it's not a bug.

On 10 July 2012 12:42, Sönke Hahn wrote:

...

Hi!

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?

Thanks, Sönke

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users