SBCL

  1. Bug #1010862
  2. Comment #2

Comment 2 for bug 1010862

Revision history for this message
Nikodemus Siivola (nikodemus) wrote : Re: system records expanded types for declarations

Note also:

CL-USER> (deftype xtype () `(member :x))
XTYPE
CL-USER> (declaim (xtype *x*))
; No value
CL-USER> (deftype xtype () `(member :x 'x))
XTYPE
CL-USER> (defvar *x*)
*X*
CL-USER> (describe '*x*)
COMMON-LISP-USER::*X*
  [symbol]

*X* names a special variable:
  Declared type: (MEMBER :X)
  Currently unbound.