fun foldfunc f (T.FUNCTION (id, stml)) = T.FUNCTION (id, List.concat (List.map f stml))
fun expfunc f (T.MOVE (e1, e2)) = [T.MOVE (f e1, f e2)]
- | expfunc f (T.RETURN (e, s)) = [T.RETURN (f e, s)]
+ | expfunc f (T.RETURN (e)) = [T.RETURN (f e)]
| expfunc f (T.EFFECT e) = [T.EFFECT (f e)]
| expfunc f (a as T.LABEL _) = [a]
| expfunc f (T.JUMPIFN (e, l)) = [T.JUMPIFN (f e, l)]