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--tp25828319p25828319.html
Sent from the Haskell - Haskell-Cafe mailing list archive at Nabble.com.
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe
