Hello!
I see from http://www.haskell.org/haskellwiki/Monads_as_computation#Do_notation
that
do { v - x ; stmts }
= x = \v - do { stmts }
However, look at this GHCi session:
Prelude let return' = return :: a - Maybe a
Prelude do {1 - return 1; return' ok}
Just ok
Prelude return 1 = \1 -
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 }
However, look at this GHCi session:
Prelude let return' = return :: a - Maybe a
On Sat, Dec 08, 2007 at 03:28:58PM -0200, Felipe Lessa wrote:
On Dec 8, 2007 3:12 PM, Ilya Tsindlekht [EMAIL PROTECTED] wrote:
On Sat, Dec 08, 2007 at 02:59:16PM -0200, Felipe Lessa wrote:
Prelude do {1 - return 3; return' ok}
Nothing
Prelude return 3 = \1 - return' ok
***
