Fergus Henderson wrote: > equal x y = unsafePerformIO $ do > ptrEq <- ptrEqual x y > return (ptrEq || deep_equals x y) > > Note that unlike `req', `equal' here _is_ referentially transparent. No, it's not. If x and y are both bottom you can get unexpected results, i.e., sometimes it terminates, sometimes it doesn't. -- -- Lennart
- Re: Again: Referential Equality Hans Aberg
- RE: Again: Referential Equality Frank A. Christoph
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Fergus Henderson
- RE: Again: Referential Equality Frank A. Christoph
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Lennart Augustsson
- Re: Again: Referential Equality Hans Aberg
- Re: Again: Referential Equality D. Tweed
- Re: Again: Referential Equality Hans Aberg
- Re: Again: Referential Equality D. Tweed
- Re: Again: Referential Equality Fergus Henderson
- Re: Again: Referential Equality Lennart Augustsson
- Re: Again: Referential Equality Hans Aberg
- Re: Again: Referential Equality Bart Demoen
- Re: Again: Referential Equality Fergus Henderson