ViewVC logotype

Diff of /src/compiler/checkgen.lisp

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

revision by rtoy, Thu Feb 25 20:34:52 2010 UTC revision 1.36 by rtoy, Tue Apr 20 17:57:46 2010 UTC
# Line 518  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))
# Line 622  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.  
changed lines
  Added in v.1.36

  ViewVC Help
Powered by ViewVC 1.1.5