On 26 Oct 2024, at 18:29, Marc Nieper-Wißkirchen <[email protected]> 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
