X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Fclass.lisp;h=fda5bedbc61dc4da243a1715d66628e9c02a84ff;hb=2c6b90e36a7c0377cd79625eb6c94d580f98cb93;hp=5db094a4583f56701fb6939a0e5c277046806f0d;hpb=f0670f28705c01e79fb23cb2a582074d3e51ec98;p=sbcl.git diff --git a/src/code/class.lisp b/src/code/class.lisp index 5db094a..fda5bed 100644 --- a/src/code/class.lisp +++ b/src/code/class.lisp @@ -410,7 +410,7 @@ (declaim (ftype (function (layout sb!xc:class index simple-vector layout-depthoid)) check-layout)) (defun check-layout (layout class length inherits depthoid) - (assert (eq (layout-class layout) class)) + (aver (eq (layout-class layout) class)) (when (redefine-layout-warning "current" layout "compile time" length inherits depthoid) ;; Classic CMU CL had more options here. There are several reasons @@ -468,12 +468,12 @@ ;; Attempting to register ourselves with a temporary undefined ;; class placeholder is almost certainly a programmer error. (I ;; should know, I did it.) -- WHN 19990927 - (assert (not (undefined-class-p class))) + (aver (not (undefined-class-p class))) ;; This assertion dates from classic CMU CL. The rationale is ;; probably that calling REGISTER-LAYOUT more than once for the ;; same LAYOUT is almost certainly a programmer error. - (assert (not (eq class-layout layout))) + (aver (not (eq class-layout layout))) ;; Figure out what classes are affected by the change, and issue ;; appropriate warnings and invalidations. @@ -667,11 +667,11 @@ ;;; the two classes are equal, since there are EQ checks in those ;;; operations. (!define-type-method (sb!xc:class :simple-=) (type1 type2) - (assert (not (eq type1 type2))) + (aver (not (eq type1 type2))) (values nil t)) (!define-type-method (sb!xc:class :simple-subtypep) (class1 class2) - (assert (not (eq class1 class2))) + (aver (not (eq class1 class2))) (let ((subclasses (class-subclasses class2))) (if (and subclasses (gethash class1 subclasses)) (values t t) @@ -1092,15 +1092,15 @@ '(t)))) x (declare (ignore codes state translation)) - (let ((inherits-list (if (eq name 't) - () - (cons 't (reverse inherits)))) + (let ((inherits-list (if (eq name t) + () + (cons t (reverse inherits)))) (class (make-built-in-class :enumerable enumerable :name name :translation (if trans-p :initializing nil) :direct-superclasses - (if (eq name 't) + (if (eq name t) nil (mapcar #'sb!xc:find-class direct-superclasses))))) (setf (info :type :kind name) :primitive