X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fgeneric%2Fgenesis.lisp;h=cd5b7b09224fb90d15b488f26f94b381eaa09297;hb=a18f0a95bc9a457e4d2d00c702b746f29c2662b1;hp=b5d6fe653bd14d8161682f0da365cf8ae83e8fb6;hpb=d147d512602d761a2dcdfded506dd1a8f9a140dc;p=sbcl.git

diff --git a/src/compiler/generic/genesis.lisp b/src/compiler/generic/genesis.lisp
index b5d6fe6..cd5b7b0 100644
--- a/src/compiler/generic/genesis.lisp
+++ b/src/compiler/generic/genesis.lisp
@@ -1758,7 +1758,7 @@
 ;;;   (2) stores its definition in the *COLD-FOP-FUNCTIONS* vector,
 ;;;       instead of storing in the *FOP-FUNCTIONS* vector.
 (defmacro define-cold-fop ((name &optional (pushp t)) &rest forms)
-  (check-type pushp (member nil t :nope))
+  (aver (member pushp '(nil t :nope)))
   (let ((code (get name 'fop-code))
 	(fname (symbolicate "COLD-" name)))
     (unless code
@@ -1771,7 +1771,7 @@
        (setf (svref *cold-fop-functions* ,code) #',fname))))
 
 (defmacro clone-cold-fop ((name &optional (pushp t)) (small-name) &rest forms)
-  (check-type pushp (member nil t :nope))
+  (aver (member pushp '(nil t :nope)))
   `(progn
     (macrolet ((clone-arg () '(read-arg 4)))
       (define-cold-fop (,name ,pushp) ,@forms))