nontail Bug continuations

Stephen Weeks MLton@sourcelight.com
Mon, 12 Nov 2001 12:53:06 -0800


> Why is Caller/None illegal?  

Because even though the callee doesn't raise, it may return to the
continuation, which may in turn refer to the exception stack.  Thus,
the exception stack must preserved whenever the continuation is.