(+ 1
(if (numeric-type-low type) 1 0)
(if (numeric-type-high type) 1 0))))
- ;; MNA: cons compound-type patch
- ;; FIXIT: all commented out
-; (cons-type
-; (+ (type-test-cost (specifier-type 'cons))
-; (function-cost 'car)
-; (type-test-cost (cons-type-car-type type))
-; (function-cost 'cdr)
-; (type-test-cost (cons-type-cdr-type type))))
(t
(function-cost 'typep)))))
\f