This is SBCL 1.0.28.47, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun f (x)
(declare (optimize speed)
(type (and fixnum a) x))
x)
; in: LAMBDA NIL
; (TYPE (AND FIXNUM A) X)
;
; caught STYLE-WARNING:
; undefined type: A
;
; compilation unit finished
; Undefined type:
; A
; caught 1 STYLE-WARNING condition
Output from the newest working version:
This is SBCL 1.0.28.47, an implementation of ANSI Common Lisp. www.sbcl. org/>.
More information about SBCL is available at <http://
SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defun f (x)
(declare (optimize speed)
(type (and fixnum a) x))
x)
; in: LAMBDA NIL
; (TYPE (AND FIXNUM A) X)
;
; caught STYLE-WARNING:
; undefined type: A
;
; compilation unit finished
; Undefined type:
; A
; caught 1 STYLE-WARNING condition
F