- : info maybe_formals '{' body '}'
- { do (info_lbl, info) <- $1;
- formals <- sequence $2;
- stmts <- getCgStmtsEC (loopDecls $4)
+ : info maybe_formals maybe_frame maybe_gc_block '{' body '}'
+ { do ((info_lbl, entry_ret_label, info, live, formals, frame, gc_block), stmts) <-
+ getCgStmtsEC' $ loopDecls $ do {
+ (info_lbl, entry_ret_label, info, live) <- $1;
+ formals <- sequence $2;
+ frame <- $3;
+ gc_block <- $4;
+ $6;
+ return (info_lbl, entry_ret_label, info, live, formals, frame, gc_block) }