ViewVC logotype

Diff of /src/compiler/checkgen.lisp

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

revision 1.34 by rtoy, Fri Dec 9 15:50:20 2005 UTC revision by rtoy, Thu Feb 25 03:59:43 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")
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 _"~:[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 _"~:[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.~>"              _"~:[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))
# 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))))))

Removed from v.1.34  
changed lines
  Added in v.

  ViewVC Help
Powered by ViewVC 1.1.5