How to describe this bug?

Christopher Done chrisdone at gmail.com
Tue Jul 10 12:49:32 CEST 2012


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 <shahn at cs.tu-berlin.de> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users



More information about the Glasgow-haskell-users mailing list