106 |
((integerp form) (list 'integer form form)) |
((integerp form) (list 'integer form form)) |
107 |
((atom form) (type-of form)) |
((atom form) (type-of form)) |
108 |
((eq (car form) 'quote) (type-of (cadr form))) |
((eq (car form) 'quote) (type-of (cadr form))) |
109 |
((atom (cdr form)) (error "Dotted list in fun-ret-type~")) |
((and (cdr form) (atom (cdr form))) (error "Dotted list in fun-ret-type~")) |
110 |
((symbolp (car form)) |
((symbolp (car form)) |
111 |
(nil-to-t (or (result-type-from-args (car form) (mapcar #'fun-ret-type (cdr form))) |
(nil-to-t (or (result-type-from-args (car form) (mapcar #'fun-ret-type (cdr form))) |
112 |
(let ((proc (get (car form) 'proclaimed-return-type))) |
(let ((proc (get (car form) 'proclaimed-return-type))) |