On 2021-06-16 09:18 +0200, Marc Nieper-Wißkirchen wrote:
> We don't have to require it as much as we don't have to require to call a
> procedure returned by call/cc or the raise procedure in tail context.

Yes, I realized this shortly after replying.  Respond in haste, repent
at leisure.

> To underline the role of abort, however, it makes sense to rewrite the
> example to:
>
> ...

Good points all around, thanks.  I'll update the example and
continuation name.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>

"Everything is vague to a degree you do not realize till you have
tried to make it precise." --Bertrand Russell