Update on GHC 6.12.1

Simon Peyton-Jones simonpj at microsoft.com
Thu Oct 29 10:27:48 EDT 2009


| 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


More information about the Glasgow-haskell-users mailing list