Morry Katz writes:
How about if we specify the semantics when their are neither throws
into or out of the promise body and leave the semantics in the
presence of such throws unspecified.
This doesn't work because the main problem with DELAY and FORCE
is caused by ordinary recursion, not by continuations.
Will