Also, it is more likely to be a buggy instance of Eq, than a real loss of referential transparency.
Regards,
MalcolmOn Jul 10, 2012, at 11:49 AM, Christopher Done <chrisd...@gmail.com> 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 <sh...@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@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
_______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
