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

[Alex Shinn <alexshinn@x>]

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.

-- 

Alex

_______________________________________________
Scheme-reports mailing list
Scheme-reports@x
http://lists.scheme-reports.org/cgi-bin/mailman/listinfo/scheme-reports