Changeset 3980

Show
Ignore:
Timestamp:
10/07/08 15:39:11 (1 month ago)
Author:
ksprotte
Message:

added a check for a new possible case in CONTRACT-CONSISTENT-P:
"~s has a sponsor ~s, but is not a member of SPONSOR-CONTRACTS, which is ~s"

Files:

Legend:

Unmodified
Added
Removed
Modified
Copied
Moved

  • trunk/projects/bos/m2/m2.lisp

    r3942 r3980  
    579579                                         #'eq))) 
    580580    (let ((consistent t)) 
     581      (unless (member contract (sponsor-contracts (contract-sponsor contract))) 
     582        (warn "~s has a sponsor ~s, but is not a member of SPONSOR-CONTRACTS, which is ~s" 
     583              contract (contract-sponsor contract) 
     584              (sponsor-contracts (contract-sponsor contract))) 
     585        (setq consistent nil)) 
    581586      (unless (every #'m2-points-to-contract (contract-m2s contract)) 
    582587        (let ((*print-length* 5))