3 Aug
2007
3 Aug
'07
3:48 p.m.
Sorry for the double post, I posted with the wrong email address and
haskell-cafe rejected it.
On 8/3/07, Neil Mitchell
Right. In effect, as a matter of fact, the notation
x <- a
would become equivalent to
let x = (<- a)
Hmm, interesting. Consider:
let x = 12 let x = (<- x)
Wouldn't that be forbidden ? I'd expect the x in ( <- x ) have to be of type m a. If you meant : x <- return 12 let x = ( <- x ) Then I imagine it would turn into x <- return 12 x >>= \tx -> let x = tx in .... Isn't that correct ?