/[gcl]/gcl/cmpnew/gcl_cmpenv.lsp
ViewVC logotype

Diff of /gcl/cmpnew/gcl_cmpenv.lsp

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

revision 1.14 by camm, Fri Jul 8 06:02:47 2005 UTC revision 1.15 by camm, Sat Jul 23 08:47:21 2005 UTC
# Line 423  Line 423 
423                    (if (consp dtype)                    (if (consp dtype)
424                      (let* ((dtype (si::normalize-type dtype))                      (let* ((dtype (si::normalize-type dtype))
425                             (stype (car dtype)))                             (stype (car dtype)))
426                        (cmpck (or (not (symbolp stype)) (cdddr dtype)) "The declaration ~s is illegal." decl)  ;                     (cmpck (or (not (symbolp stype)) (cdddr dtype)) "The declaration ~s is illegal." decl) FIXME
427                        (case stype                        (case stype
428                          (satisfies                          (satisfies
429                           (push decl others))                           (push decl others))
# Line 460  Line 460 
460                                                "The type declaration ~s contains a non-symbol ~s."                                                "The type declaration ~s contains a non-symbol ~s."
461                                                decl var)                                                decl var)
462                                         (push (cons var type) ts)))))                                         (push (cons var type) ts)))))
463                            (class
464                             (cmpck (cdddr decl)
465                                    "The type declaration ~s is illegal." decl)
466                             (let ((type (type-filter (or (caddr decl) (car decl)))))
467                               (when type
468                                 (let ((var (cadr decl)))
469                                   (cmpck (not (symbolp var))
470                                          "The type declaration ~s contains a non-symbol ~s."
471                                          decl var)
472                                   (push (cons var type) ts)))))
473                          (object                          (object
474                           (dolist** (var (cdr decl))                           (dolist** (var (cdr decl))
475                                     (cmpck (not (symbolp var))                                     (cmpck (not (symbolp var))
# Line 600  Line 610 
610  (defun check-vdecl (vnames ts is)  (defun check-vdecl (vnames ts is)
611    (dolist** (x ts)    (dolist** (x ts)
612      (unless (member (car x) vnames)      (unless (member (car x) vnames)
613        (cmpwarn "Type declaration was found for not bound variable ~s."        (cmpwarn "Type declaration was found for not bound variable ~s" (car x))))
                (car x))))  
614    (dolist** (x is)    (dolist** (x is)
615      (unless (or (eq x 'ignorable) (member x vnames))      (unless (or (eq x 'ignorable) (member x vnames))
616        (cmpwarn "Ignore/ignorable declaration was found for not bound variable ~s." x)))        (cmpwarn "Ignore/ignorable declaration was found for not bound variable ~s." x)))

Legend:
Removed from v.1.14  
changed lines
  Added in v.1.15

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26