
10 Jul
2012
10 Jul
'12
6:49 a.m.
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
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