421 |
;; (dft (and (symbolp dtype) (get dtype 'si::deftype-definition))) |
;; (dft (and (symbolp dtype) (get dtype 'si::deftype-definition))) |
422 |
;; (dtype (or (and dft (funcall dft)) dtype))) |
;; (dtype (or (and dft (funcall dft)) dtype))) |
423 |
(if (consp dtype) |
(if (consp dtype) |
424 |
(let ((stype (car dtype))) |
(let* ((dtype (si::normalize-type dtype)) |
425 |
|
(stype (car dtype))) |
426 |
(cmpck (or (not (symbolp stype)) (cdddr dtype)) "The declaration ~s is illegal." decl) |
(cmpck (or (not (symbolp stype)) (cdddr dtype)) "The declaration ~s is illegal." decl) |
427 |
(case stype |
(case stype |
428 |
(satisfies |
(satisfies |