On Mon, Jul 27, 2020 at 8:21 AM Marc Nieper-Wißkirchen <xxxxxx@nieper-wisskirchen.de> wrote:

raise and raise-continuable are fundamentally different procedures.
The former is a continuation procedure that does not return. The
latter is an ordinary procedure.

Actually they are both ordinary procedures.  Raise can be defined in terms of raise-continuable thus:

(define (raise condition)
    (raise-continuable condition)
    (raise (make-something "Attempt to continue from raise")))

It's true that when the current exception handler was created by guard or the equivalent, that handler is a continuation procedure unless none of the guard-clauses match, in which case it is ordinary.
 
From that pure point of view, it does not make much sense to conflate
them into one.

I concur with the result, though: these should be separate procedures.  



John Cowan          http://vrici.lojban.org/~cowan        xxxxxx@ccil.org
You know, you haven't stopped talking since I came here. You must
have been vaccinated with a phonograph needle.
        --Rufus T. Firefly