> 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 could live with that, but we still need to handle errors from running
TYPEP, because of the possibility of users handing us (SATISFIES ...)
types where the predicate signals 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 could live with that, but we still need to handle errors from running
TYPEP, because of the possibility of users handing us (SATISFIES ...)
types where the predicate signals an error.
Christophe