Ignore:
Timestamp:
Aug 1, 2009, 3:50:08 PM (10 years ago)
Author:
gz
Message:

ftypes - r12467/r12500/r12512/r12514 from trunk

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/working-0711/ccl/level-1/sysutils.lisp

    r12410 r12515  
    345345  (csubtypep (specifier-type type1 env) (specifier-type type2 env)))
    346346
     347(defun types-disjoint-p (type1 type2 &optional env)
     348  ;; Return true if types are guaranteed to be disjoint, nil if not disjoint or unknown.
     349  (let ((ctype1 (if (typep type1 'ctype) type1 (specifier-type type1 env)))
     350        (ctype2 (if (typep type2 'ctype) type2 (specifier-type type2 env))))
     351    (eq *empty-type* (type-intersection ctype1 ctype2))))
    347352
    348353
Note: See TracChangeset for help on using the changeset viewer.