How to describe this bug?
malcolm.wallace at me.com
Tue Jul 10 12:51:58 CEST 2012
Also, it is more likely to be a buggy instance of Eq, than a real loss of referential transparency.
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
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Glasgow-haskell-users