2 Comments regarding restarts in the CL Condition system

Helu, I'd like to pose the following two points that I understand of
the condition system --

1. The restart function (i.e. the code executed when the restart is
invoked) does not have access to the condition object that
triggered it. (The condition object which is available to the
:test function supplied in RESTART-CASE, for example)

2. The interfaces to specifying restarts are all
macros. (WITH-SIMPLE-RESTART, RESTART-BIND, RESTART-CASE, and
possibly WITH-CONDITION-RESTARTS)

Re (1), it would seem desirable to have the condition object made
available to the restart code when invoked. (2) means there is no
functional interface (i.e. via functions) to specifying restarts
objects, and this would seem to imply one cannot programatically
create "condtion-handling-environments" at runtime --- without
recourse to EVAL or a bulky compile. (I suspect This issue is similar
to TRACE being a macro.)

It appears both (1) and (2) are related, and are artifacts of
`implementing' properties desired in the restart objects: that they
can be passed around and invoked.

Could a future design, in theory, remove both limitations (if i may
call them limitations), or is there any basic reason why (1) and (2)
should be this way?

--
Madhu



.

Relevant Pages

  • Re: 2 Comments regarding restarts in the CL Condition system
    ... the condition system -- ... The restart function (i.e. the code executed when the restart is ... (The condition object which is available to the ... There aren't functional equivalents for the ...
    (comp.lang.lisp)
  • Re: 2 Comments regarding restarts in the CL Condition system
    ... The restart function (i.e. the code executed when the restart is ... INVOKE-RESTART, or a restart function based on it. ... A restart is usually called by a handler. ... does something useful with a condition object, ...
    (comp.lang.lisp)
  • Re: 2 Comments regarding restarts in the CL Condition system
    ... it would seem desirable to have the condition object made ... A restart might need to use such state ... Although a restart is invoked by INVOKE-RESTART, ... Even if one were several debug levels deep, ...
    (comp.lang.lisp)
  • Re: 2 Comments regarding restarts in the CL Condition system
    ... A restart might need to use such state ... I pointed out that INVOKE-RESTART takes arbitrary ... this to pass the condition object to the restart. ... control transfer to the point where execution is going to resume. ...
    (comp.lang.lisp)
  • Re: ASP.NET Restart Problem
    ... the <processModel> limitations I mentioned ... is concerned with asp.net process's recycle issue. ... your application only restart the application domain, ...
    (microsoft.public.dotnet.framework.aspnet)