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  <xxxxxx@sigwinch.xyz>