Update on GHC 6.12.1

[Simon Peyton-Jones]

| Analogously, is
| 
| |  >   do { a <- getChar
| |  >      ; rec { b <- f c
| |  >            ; c <- g b }
| |  >      ; putChar c
| |  >      ; return b }
| 
| equivalent to
| 
| |  >   do { a <- getChar
| |  >      ; rec { b <- f c
| |  >            ; c <- g b } in do
| |  >         { putChar c
| |  >         ; return b }

No, there is no  
    rec { ss } in e
form; nor should there be since rec { ss } is monadic.

| Is
| 
| |  >   do { rec { b <- f c
| |  >            ; c <- g b }
| |  >      ; putChar c
| |  >      ; return b }
| 
| equivalent to
| 
| |  >   rec { b <- f c
| |  >       ; c <- g b } in do
| |  >      { putChar c
| |  >      ; return b }

No. Same answer.

Simon