Added a compiler macro for optional type checks

This commit is contained in:
Juan Jose Garcia Ripoll 2010-05-13 22:32:19 +02:00
parent 18928c0b1f
commit ebefa89d55

View file

@ -119,3 +119,8 @@
`(let* ((%value ,value))
,(type-error-check '%value type)
(the ,type %value))))))
(defmacro optional-type-check (&whole whole value type &environment env)
(if (policy-assume-right-type)
value
`(assert-type-if-known ,value ,type)))