[Haskell-cafe] Different semantics in "identical" do statement?

staafmeister g.c.stavenga at uu.nl
Fri Oct 9 18:07:55 EDT 2009

Daniel Peebles wrote:
> I vaguely remember on IRC someone pointing out that the Parsec monad
> broke one of the laws. I think return _|_ >> x === _|_ which could be
> causing your problem. I may be wrong though.

This could very well be it. I use lazy eval to construct a function that
its own argument (that is you supply the return value of the func as its

View this message in context: http://www.nabble.com/Different-semantics-in-%22identical%22-do-statement--tp25828319p25828612.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.

More information about the Haskell-Cafe mailing list