X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fcheckgen.lisp;h=0b6b12888d137b93b6f35d93dbc3f2b4d9990df9;hb=1a6def3955b715472eb2c75b15660912b9f90173;hp=9221be221006bc5ec69af31366c76f028c6bfe4f;hpb=8624c52d7620e8a4d3de23c363e843a10815f4f4;p=sbcl.git

diff --git a/src/compiler/checkgen.lisp b/src/compiler/checkgen.lisp
index 9221be2..0b6b128 100644
--- a/src/compiler/checkgen.lisp
+++ b/src/compiler/checkgen.lisp
@@ -114,7 +114,7 @@
   (declare (type ctype type))
   (multiple-value-bind (res count) (values-types type)
     (values (mapcar #'(lambda (type)
-			(if (function-type-p type)
+			(if (fun-type-p type)
 			    (specifier-type 'function)
 			    type))
 		    res)
@@ -130,7 +130,7 @@
 ;;; the proven type and the corresponding type in TYPES. If so, we opt
 ;;; for a :HAIRY check with that test negated. Otherwise, we try to do
 ;;; a simple test, and if that is impossible, we do a hairy test with
-;;; non-negated types. If true, Force-Hairy forces a hairy type check.
+;;; non-negated types. If true, FORCE-HAIRY forces a hairy type check.
 ;;;
 ;;; When doing a non-negated check, we call MAYBE-WEAKEN-CHECK to
 ;;; weaken the test to a convenient supertype (conditional on policy.)
@@ -214,7 +214,7 @@
   (declare (type continuation cont))
   (let ((type (continuation-asserted-type cont))
 	(dest (continuation-dest cont)))
-    (assert (not (eq type *wild-type*)))
+    (aver (not (eq type *wild-type*)))
     (multiple-value-bind (types count) (no-function-values-types type)
       (cond ((not (eq count :unknown))
 	     (if (or (exit-p dest)
@@ -227,7 +227,7 @@
 		 (maybe-negate-check cont types nil)))
 	    ((and (mv-combination-p dest)
 		  (eq (basic-combination-kind dest) :local))
-	     (assert (values-type-p type))
+	     (aver (values-type-p type))
 	     (maybe-negate-check cont (args-type-optional type) nil))
 	    (t
 	     (values :too-hairy nil))))))
@@ -263,7 +263,8 @@
   (declare (type continuation cont))
   (let ((dest (continuation-dest cont)))
     (cond ((eq (continuation-type-check cont) :error)
-	   (if (and (combination-p dest) (eq (combination-kind dest) :error))
+	   (if (and (combination-p dest)
+		    (eq (combination-kind dest) :error))
 	       nil
 	       t))
 	  ((or (not dest)
@@ -301,7 +302,7 @@
     `(multiple-value-bind ,temps 'dummy
        ,@(mapcar #'(lambda (temp type)
 		     (let* ((spec
-			     (let ((*unparse-function-type-simplify* t))
+			     (let ((*unparse-fun-type-simplify* t))
 			       (type-specifier (second type))))
 			    (test (if (first type) `(not ,spec) spec)))
 		       `(unless (typep ,temp ',test)
@@ -353,7 +354,7 @@
 	(ir1-convert new-start dummy (make-type-check-form types))
 
 	;; TO DO: Why should this be true? -- WHN 19990601
-	(assert (eq (continuation-block dummy) new-block))
+	(aver (eq (continuation-block dummy) new-block))
 
 	;; KLUDGE: Comments at the head of this function in CMU CL
 	;; said that somewhere in here we
@@ -385,7 +386,7 @@
       (let* ((node (continuation-use cont))
 	     (args (basic-combination-args node))
 	     (victim (first args)))
-	(assert (and (= (length args) 1)
+	(aver (and (= (length args) 1)
 		     (eq (constant-value
 			  (ref-leaf
 			   (continuation-use victim)))
@@ -416,7 +417,8 @@
 		   (format nil "~:[A possible~;The~] binding of ~S"
 			   (and (continuation-use cont)
 				(eq (functional-kind lambda) :let))
-			   (leaf-name (elt (lambda-vars lambda) pos)))))))
+			   (leaf-source-name (elt (lambda-vars lambda)
+						  pos)))))))
     (cond ((eq dtype *empty-type*))
 	  ((and (ref-p node) (constant-p (ref-leaf node)))
 	   (compiler-warning "~:[This~;~:*~A~] is not a ~<~%~9T~:;~S:~>~%  ~S"
@@ -446,7 +448,7 @@
       (setf (basic-combination-kind dest) :error)))
   (values))
 
-;;; Loop over all blocks in Component that have TYPE-CHECK set,
+;;; Loop over all blocks in COMPONENT that have TYPE-CHECK set,
 ;;; looking for continuations with TYPE-CHECK T. We do two mostly
 ;;; unrelated things: detect compile-time type errors and determine if
 ;;; and how to do run-time type checks.
@@ -484,13 +486,12 @@
 	    (unless (member type-check '(nil :error :deleted))
 	      (let ((atype (continuation-asserted-type cont)))
 		(do-uses (use cont)
-		  (unless (values-types-intersect (node-derived-type use)
-						  atype)
+		  (unless (values-types-equal-or-intersect
+			   (node-derived-type use) atype)
 		    (mark-error-continuation cont)
 		    (unless (policy node (= inhibit-warnings 3))
 		      (do-type-warning use))))))
-	    (when (and (eq type-check t)
-		       (not *byte-compiling*))
+	    (when (eq type-check t)
 	      (cond ((probable-type-check-p cont)
 		     (conts cont))
 		    (t