/[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.19 by wlott, Sat Mar 21 19:41:14 1992 UTC revision 1.20 by ram, Tue Jul 21 18:41:26 1992 UTC
# Line 509  Line 509 
509                      (do-type-warning use))))))                      (do-type-warning use))))))
510    
511            (when (eq type-check t)            (when (eq type-check t)
512              (let ((check-p (probable-type-check-p cont)))              (if (probable-type-check-p cont)
513                (multiple-value-bind (check types)                  (multiple-value-bind (check types)
514                                     (continuation-check-types cont)                                       (continuation-check-types cont)
515                  (ecase check                    (ecase check
516                    (:simple                      (:simple)
517                     (unless check-p                      (:hairy
518                       (setf (continuation-%type-check cont) :no-check)))                       (convert-type-check cont types))
519                    (:hairy                      (:too-hairy
520                     (if check-p                       (let* ((context (continuation-dest cont))
521                         (convert-type-check cont types)                              (*compiler-error-context* context))
522                         (setf (continuation-%type-check cont) :no-check)))                         (when (policy context (>= safety brevity))
523                    (:too-hairy                           (compiler-note
524                     (let* ((context (continuation-dest cont))                            "Type assertion too complex to check:~% ~S."
525                            (*compiler-error-context* context))                            (type-specifier (continuation-asserted-type cont)))))
526                       (when (policy context (>= safety brevity))                       (setf (continuation-%type-check cont) :deleted))))
527                         (compiler-note                  (setf (continuation-%type-check cont) :no-check)))))
                         "Type assertion too complex to check:~% ~S."  
                         (type-specifier (continuation-asserted-type cont)))))  
                    (setf (continuation-%type-check cont) :deleted))))))))  
528    
529        (setf (block-type-check block) nil)))        (setf (block-type-check block) nil)))
530    

Legend:
Removed from v.1.19  
changed lines
  Added in v.1.20

  ViewVC Help
Powered by ViewVC 1.1.5