| 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 _______________________________________________ Glasgow-haskell-users mailing list Glasgow-haskell-users@haskell.org http://www.haskell.org/mailman/listinfo/glasgow-haskell-users