> 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.
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