[Haskell-cafe] Re: Re: Re: monad subexpressions

[david48]

On 8/3/07, Neil Mitchell <ndmitchell at gmail.com> wrote:

> temp <- a
> let x = temp

if you write :

let x = (<-a):x

is it possible that is desugars into :

temp <-a
let x = temp:x

that would'nt work ?
I realize I may be asking dumb questions but being dumb never harmed
anyone so :)


Also :

> do case x of
>          [] -> return 1
>          (y:ys) -> f (<- g y)

Is it not possible that is desugars to

do case x of
         [] -> return 1
         (y:ys) -> g y >>= \temp -> f temp



> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>