raise should not change continuation Marc Feeley (12 Aug 2002 12:09 UTC)
Re: raise should not change continuation sperber@xxxxxx (12 Aug 2002 12:45 UTC)
Re: raise should not change continuation Marc Feeley (12 Aug 2002 14:22 UTC)
Re: raise should not change continuation sperber@xxxxxx (12 Aug 2002 14:35 UTC)
Re: raise should not change continuation Marc Feeley (12 Aug 2002 14:57 UTC)
Re: raise should not change continuation sperber@xxxxxx (12 Aug 2002 15:08 UTC)
Re: raise should not change continuation Richard Kelsey (13 Aug 2002 01:17 UTC)

Re: raise should not change continuation Marc Feeley 12 Aug 2002 14:22 UTC

> Marc> In SRFI 18 the exception handler must be called with the same
> Marc> continuation as "raise" (and consequently the same dynamic
> Marc> environment and exception handler).
>
> Why is this inconsistent?  SRFI 34 doesn't specify a behavior
> different from that of SRFI 18.  It merely leaves part of the behavior
> unspecified.

No, SRFI 34 says:

   (raise obj) Invokes the current exception handler on obj . The
   handler is called in the dynamic environment of the call to raise ,

   **** except that the current exception handler is that in place for
   the call to with-exception-handler that installed the handler being
   called. The handler's continuation is otherwise unspecified. ****

According to this, the continuation of the exception handler can't
be the ***same*** as the continuation of raise because the dynamic
environment is different (recall that the dynamic environment is
part of the continuation).

Marc