Minor read-only annotations in cmpopt.lsp

This commit is contained in:
Juan Jose Garcia Ripoll 2009-07-09 23:31:50 +02:00
parent 3e761f0ef5
commit 65635f1452

View file

@ -123,6 +123,7 @@
((member first '(OR AND))
(let ((var (gensym)))
`(let ((,var ,object))
(declare (:read-only ,var))
(,first ,@(loop for type in rest
collect `(typep ,var ',type))))))
;;
@ -141,6 +142,7 @@
(subtypep type 'fixnum))
(setf first 'fixnum))
`(LET ((,var ,object))
(declare (:read-only ,var))
(AND (TYPEP ,var ',first)
,@(expand-in-interval-p `(the ,first ,var) rest)))))
;;