TYPE-OF is sometimes going to be less aesthetic than you'd like.
e.g. (TYPE-OF (ASH 1 70)) => (INTEGER 4611686018427387904)
instead of INTEGER or BIGNUM

Also may I suggest eliminating the parenthetical remark in the message and just say:
"The value FOO is of type X but should be of type Y"

On Mon, Mar 31, 2014 at 12:37 AM, Krzysztof Drewniak <krzysdrewniak@gmail.com> wrote:
During February's code freeze, I submitted some patches to SBCL. The
first is an improvement to the reporting of type-errors, which can be
found at https://bugs.launchpad.net/sbcl/+bug/777346 . The second patch,
which generated some controversy, fixed a bug in the handling of Unicode
digits. Code for handling these digits was already present, but not
being reached most of the time because of a bug. The patch is at
https://bugs.launchpad.net/sbcl/+bug/1177986 . Are there any more
obstacles to applying these patches?


Sbcl-devel mailing list