[Haskell-cafe] Couple of questions about *let* within *do*

[michael rice]

So all the Xs would be in scope at s6. Important point.

Thanks,

Michael

--- On Tue, 8/10/10, Alex Stangl <alex at stangl.us> wrote:

From: Alex Stangl <alex at stangl.us>
Subject: Re: [Haskell-cafe] Couple of questions about *let* within *do*
To: "michael rice" <nowgate at yahoo.com>
Cc: "Tillmann Rendel" <rendel at Mathematik.Uni-Marburg.de>, haskell-cafe at haskell.org
Date: Tuesday, August 10, 2010, 2:21 PM

On Tue, Aug 10, 2010 at 11:01:28AM -0700, michael rice wrote:
> Hi all,
> 
> Then,
> 
>   do s1
>      s2
>      let x1 = e1
>          x2 = e2
>      s3
>      s4
>      let x3 = e3
>          x4 = e4
>      s5
>      s6
> 
> becomes
> 
>   do s1
>      s2
>      let x1 = e1
>          x2 = e2 in do s3
>                        s4
>      let x3 = e3
>          x4 = e4 in do s5
>                        s6?

    do s1
       s2
       let x1 = e1
           x2 = e2
       in do s3
             s4
             let x3 = e3
                 x4 = e4
             in do s5
                   s6

HTH,

Alex



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100810/4bfca90d/attachment.html