Comment 4 for bug 1429520

Revision history for this message
Christophe Rhodes (csr21-cantab) wrote : Re: [Bug 1429520] Re: set-pprint-dispatch on nonexistent type causes maximum error depth excession

Douglas Katzman <email address hidden> writes:

> But really I think we should just refuse to install the dispatch
> entry, because while it is not undefined per se, it is pretty clear
> that it will lead to prohibited behavior: TYPEP says "The consequences
> are undefined if the type-specifier is not a type specifier." And the
> behavior of the pprint-dispatch is more-or-less to invoke TYPEP
> although it doesn't say that in those words.

I think we still need to handle errors from within pprint-dispatch,
though, because users can install dispatch entries using (SATISFIES ...)
types where the predicate can (inadvisedly) signal an error.

Christophe