On 26 Oct 2024, at 18:29, Marc Nieper-Wißkirchen <xxxxxx@gmail.com> wrote:

> The "restartable" form is to enable users to replace procedure
> arguments in case of inadequate arguments delivered to a procedure.
> The condition type for the latter exception is the assertion
> violation.  Thus, it is out of the scope of the original idea of the
> "restartable" form to consider other condition types.

An inadequate argument could be the path to a file which is expected to exist but does not, which is not an assertion violation.

Daphne