-
reset: add a marker to delimit the capture of the continuation byshift. So called because we add areset markonto the stack. -
shift: .. So called because to start executing ashift, we move stack frames upto the closest reset from the stack into the heap. When the continuation ofshiftis called, move back the stack frames from the heap onto the stack.
Direct Implementation of Shift and Reset in the MinCaml Compiler