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
signature.asc
Description: Digital signature
_______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
