Unless someone objects, I’m going to remove with-abort-restarter. The semantics aren’t right for something named “abort”, since it installs a restarter that invokes the continuation of the w-a-r form rather than completely aborting the computation (which is the proposed meaning of an abort restarter). This can be very confusing, since the restarter is only an “abort” if the w-a-r form encompasses the entire computation.
On the other hand, with-abort-restarter could be respecified to install a “true” abort restarter, i.e. one which returns to the REPL (or something similar). The semantics of this would be strange, since the restarter would abort not only the evaluation of *thunk*, but of the entire computation containing the w-a-r form. This is a bit “anti-lexical”, to my mind. Suggestions are welcome. -- Wolfgang Corcoran-Mathe <[email protected]>
