SBCL

  1. Bug #1395910
  2. Comment #1

Comment 1 for bug 1395910

Revision history for this message
Kanru Chen (kanru) wrote :

The type-error is from the declaration of TYPEXPAND

(defun typexpand (type-specifier &optional env)
  (declare (type type-specifier type-specifier))
  ...

This patch make VALUES-SPECIFIER-TYPE check the type before calling TYPEXPAND.

About CAREFUL-SPECIFIER-TYPE.. do you think it needs to catch all nested errors?