[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Scheme-reports] possible error in specification of guard

On Wed, Dec 12, 2012 at 4:53 AM, Per Bothner <per@x> wrote:
"If every cond clause ’s test evaluates to #f
and there is no else clause, then raise-continuable is
invoked on the raised object within the dynamic environ-
ment of the original call to raise or raise-continuable,
except that the current exception handler is that of the
guard _expression_."

If the original call was a raise (rather than raise-continuable),
shouldn't the "up-the-chain" call be raise as well?  I.e. turning
a raise to a raise-continuable seems very wrong.

This is from the R6RS errata.  It's not turning the raise into
a raise-continuable, since you can't get back to the raise
continuation at this point.  In other words, you're raising a
continuable exception from one point up the chain.


Scheme-reports mailing list