In what Monad? -Ross On Oct 9, 2009, at 5:43 PM, staafmeister wrote:
In my program
do x <- do blah <- someFunc return blah return $ Constructor x
behaves differently from do blah <- someFunc return $ Constructor blah
where the dots are identical. I would think that these programs should behave identically, by the monad laws. The result of my program is that the second gives correct behaviour, while the first loops forever.
Greetings, Gerben -- View this message in context: http://www.nabble.com/Different-semantics-in-%22identical%22-do-statement--t... Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com .
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe