X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fcoerce.lisp;h=7b8a2fcc1b725001e9e43865e4dd46129668d758;hb=672ac5849b408281b5ca0dfc3fd58d418de2b272;hp=6d0a3cfe9ab828187d626bc5900b9c10459f1c24;hpb=a530bbe337109d898d5b4a001fc8f1afa3b5dc39;p=sbcl.git

diff --git a/src/code/coerce.lisp b/src/code/coerce.lisp
index 6d0a3cf..7b8a2fc 100644
--- a/src/code/coerce.lisp
+++ b/src/code/coerce.lisp
@@ -11,9 +11,6 @@
 
 (in-package "SB!IMPL")
 
-(file-comment
-  "$Header$")
-
 (macrolet ((def-frob (name result access src-type &optional typep)
 	     `(defun ,name (object ,@(if typep '(type) ()))
 		(do* ((index 0 (1+ index))
@@ -139,15 +136,14 @@
 ;;; old working version
 (defun coerce (object output-type-spec)
   #!+sb-doc
-  "Coerces the Object to an object of type Output-Type-Spec."
+  "Coerce the Object to an object of type Output-Type-Spec."
   (flet ((coerce-error ()
 	   (/show0 "entering COERCE-ERROR")
 	   (error 'simple-type-error
 		  :format-control "~S can't be converted to type ~S."
 		  :format-arguments (list object output-type-spec)))
 	 (check-result (result)
-	   #!+high-security
-	   (check-type-var result output-type-spec)
+	   #!+high-security (aver (typep result output-type-spec))
 	   result))
     (let ((type (specifier-type output-type-spec)))
       (cond
@@ -259,8 +255,7 @@
 		  :format-control "~S can't be converted to type ~S."
 		  :format-arguments (list object output-type-spec)))
 	 (check-result (result)
-	   #!+high-security
-	   (check-type-var result output-type-spec)
+	   #!+high-security (aver (typep result output-type-spec))
 	   result))
     (let ((type (specifier-type output-type-spec)))
       (cond