Step 1: Explicit Return Arguments

let val xs = 1 :: 2 :: 3 :: [];

val ys = 4 :: 5 :: 6 :: [];

val rec append = proc (vs,ws,us) =>

case vs

of [] => us = ws

| v :: vr => let var ur in

us = v :: ur;

append(vr,ws,ur)

end

in

append(xs,ys,it)

end

Previous slide

Next slide

Back to first slide

View graphic version