/[cmucl]/src/compiler/checkgen.lisp
ViewVC logotype

Diff of /src/compiler/checkgen.lisp

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.18 by ram, Mon Mar 18 20:54:43 1991 UTC revision 1.19 by wlott, Sat Mar 21 19:41:14 1992 UTC
# Line 61  Line 61 
61    (or (let ((check (type-check-template type)))    (or (let ((check (type-check-template type)))
62          (if check          (if check
63              (template-cost check)              (template-cost check)
64              (let ((found (cdr (assoc type *type-predicates* :test #'type=))))              (let ((found (cdr (assoc type (backend-type-predicates *backend*)
65                                         :test #'type=))))
66                (if found                (if found
67                    (+ (function-cost found) (function-cost 'eq))                    (+ (function-cost found) (function-cost 'eq))
68                    nil))))                    nil))))
# Line 108  Line 109 
109           (let ((min-cost (type-test-cost type))           (let ((min-cost (type-test-cost type))
110                 (min-type type)                 (min-type type)
111                 (found-super nil))                 (found-super nil))
112             (dolist (x *type-predicates*)             (dolist (x (backend-type-predicates *backend*))
113               (let ((stype (car x)))               (let ((stype (car x)))
114                 (when (and (csubtypep type stype)                 (when (and (csubtypep type stype)
115                            (not (union-type-p stype))) ;Not #!% COMMON type.                            (not (union-type-p stype))) ;Not #!% COMMON type.

Legend:
Removed from v.1.18  
changed lines
  Added in v.1.19

  ViewVC Help
Powered by ViewVC 1.1.5