How to describe this bug?

[malcolm.wallace]

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 <chrisdone at 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 <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
>
> _______________________________________________
> Glasgow-haskell-users mailing list
> Glasgow-haskell-users at haskell.org
> http://www.haskell.org/mailman/listinfo/glasgow-haskell-users
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/glasgow-haskell-users/attachments/20120710/0b258255/attachment.htm>