423 |
(if (consp dtype) |
(if (consp dtype) |
424 |
(let* ((dtype (si::normalize-type dtype)) |
(let* ((dtype (si::normalize-type dtype)) |
425 |
(stype (car dtype))) |
(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) FIXME |
427 |
(case stype |
(case stype |
428 |
(satisfies |
(satisfies |
429 |
(push decl others)) |
(push decl others)) |
460 |
"The type declaration ~s contains a non-symbol ~s." |
"The type declaration ~s contains a non-symbol ~s." |
461 |
decl var) |
decl var) |
462 |
(push (cons var type) ts))))) |
(push (cons var type) ts))))) |
463 |
|
(class |
464 |
|
(cmpck (cdddr decl) |
465 |
|
"The type declaration ~s is illegal." decl) |
466 |
|
(let ((type (type-filter (or (caddr decl) (car decl))))) |
467 |
|
(when type |
468 |
|
(let ((var (cadr decl))) |
469 |
|
(cmpck (not (symbolp var)) |
470 |
|
"The type declaration ~s contains a non-symbol ~s." |
471 |
|
decl var) |
472 |
|
(push (cons var type) ts))))) |
473 |
(object |
(object |
474 |
(dolist** (var (cdr decl)) |
(dolist** (var (cdr decl)) |
475 |
(cmpck (not (symbolp var)) |
(cmpck (not (symbolp var)) |
610 |
(defun check-vdecl (vnames ts is) |
(defun check-vdecl (vnames ts is) |
611 |
(dolist** (x ts) |
(dolist** (x ts) |
612 |
(unless (member (car x) vnames) |
(unless (member (car x) vnames) |
613 |
(cmpwarn "Type declaration was found for not bound variable ~s." |
(cmpwarn "Type declaration was found for not bound variable ~s" (car x)))) |
|
(car x)))) |
|
614 |
(dolist** (x is) |
(dolist** (x is) |
615 |
(unless (or (eq x 'ignorable) (member x vnames)) |
(unless (or (eq x 'ignorable) (member x vnames)) |
616 |
(cmpwarn "Ignore/ignorable declaration was found for not bound variable ~s." x))) |
(cmpwarn "Ignore/ignorable declaration was found for not bound variable ~s." x))) |