/[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.33.12.1 by rtoy, Mon Dec 19 01:09:58 2005 UTC revision 1.36 by rtoy, Tue Apr 20 17:57:46 2010 UTC
# Line 17  Line 17 
17  ;;; Written by Rob MacLachlan  ;;; Written by Rob MacLachlan
18  ;;;  ;;;
19  (in-package "C")  (in-package "C")
20    (intl:textdomain "cmucl")
21    
22    
23  ;;;; Cost estimation:  ;;;; Cost estimation:
# Line 517  Line 518 
518                            (eq (combination-kind dest) :local))                            (eq (combination-kind dest) :local))
519                   (let ((lambda (combination-lambda dest))                   (let ((lambda (combination-lambda dest))
520                         (pos (eposition cont (combination-args dest))))                         (pos (eposition cont (combination-args dest))))
521                     (format nil "~:[A possible~;The~] binding of ~S"                     (format nil (intl:gettext "~:[A possible~;The~] binding of ~S")
522                             (and (continuation-use cont)                             (and (continuation-use cont)
523                                  (eq (functional-kind lambda) :let))                                  (eq (functional-kind lambda) :let))
524                             (leaf-name (elt (lambda-vars lambda) pos)))))))                             (leaf-name (elt (lambda-vars lambda) pos)))))))
525      (cond ((eq dtype *empty-type*))      (cond ((eq dtype *empty-type*))
526            ((and (ref-p node) (constant-p (ref-leaf node)))            ((and (ref-p node) (constant-p (ref-leaf node)))
527             (compiler-warning "~:[This~;~:*~A~] is not a ~<~%~9T~:;~S:~>~%  ~S"             (compiler-warning _N"~:[This~;~:*~A~] is not a ~<~%~9T~:;~S:~>~%  ~S"
528                               what atype-spec (constant-value (ref-leaf node))))                               what atype-spec (constant-value (ref-leaf node))))
529            (t            (t
530             (compiler-warning             (compiler-warning
531              "~:[Result~;~:*~A~] is a ~S, ~<~%~9T~:;not a ~S.~>"              _N"~:[Result~;~:*~A~] is a ~S, ~<~%~9T~:;not a ~S.~>"
532              what (type-specifier dtype) atype-spec))))              what (type-specifier dtype) atype-spec))))
533    (undefined-value))    (undefined-value))
534    
# Line 621  Line 622 
622                    (*compiler-error-context* context))                    (*compiler-error-context* context))
623               (when (policy context (>= safety brevity))               (when (policy context (>= safety brevity))
624                 (compiler-note                 (compiler-note
625                  "Type assertion too complex to check:~% ~S."                  _N"Type assertion too complex to check:~% ~S."
626                  (type-specifier (continuation-asserted-type cont)))))                  (type-specifier (continuation-asserted-type cont)))))
627             (setf (continuation-%type-check cont) :deleted))))))             (setf (continuation-%type-check cont) :deleted))))))
628    

Legend:
Removed from v.1.33.12.1  
changed lines
  Added in v.1.36

  ViewVC Help
Powered by ViewVC 1.1.5