8 Dec
2007
8 Dec
'07
12:03 p.m.
On Sat, Dec 08, 2007 at 02:59:16PM -0200, Felipe Lessa wrote:
Hello!
I see from http://www.haskell.org/haskellwiki/Monads_as_computation#Do_notation that
do { v <- x ; <stmts> } = x >>= \v -> do { <stmts> }
Something seems wrong to me here. What am I missing?
That rule only applies when v is an irrefutable pattern. The Haskell Report lists the full rule. Stefan