Changeset 7900

Timestamp:

Dec 12, 2007, 12:24:17 PM (17 years ago)

Author:

Gary Byers

Message:

Don't generate (often bad ...) typechecks in in the optimized MAKE-INSTANCE
fuctions if CCL::*TYPECHECK-SLOTS-IN-OPTIMIZED-MAKE-INSTANCE* is false.

Define CCL::*TYPECHECK-SLOTS-IN-OPTIMIZED-MAKE-INSTANCE*; default it to NIL.

File:

• branches/working-0711/ccl/level-1/l1-clos.lisp (modified) (2 diffs)

branches/working-0711/ccl/level-1/l1-clos.lisp

@@ -2020 +2020 @@
         ;; :around or :before methods, give up
         (values nil nil)))))
-             
+
+(defparameter *typecheck-slots-in-optimized-make-instance* nil)
+
 
 ;;; Return a lambda form or NIL.
@@ -2047 +2049 @@
                   (forms))
           (flet ((generate-type-check (form type &optional spvar)
-                   (let* ((ctype (ignore-errors (specifier-type type))))
-                     (if (or (null ctype)
-                             (eq ctype *universal-type*)
-                             (typep ctype 'unknown-ctype))
-                       form
-                       (if spvar
-                         `(if ,spvar
-                           (require-type ,form ',type)
-                           (%slot-unbound-marker))
-                         `(require-type ,form ',type))))))
+                   (if (null *typecheck-slots-in-optimized-make-instance*)
+                     form
+                     (let* ((ctype (ignore-errors (specifier-type type))))
+                       (if (or (null ctype)
+                               (eq ctype *universal-type*)
+                               (typep ctype 'unknown-ctype))
+                         form
+                         (if spvar
+                           `(if ,spvar
+                             (require-type ,form ',type)
+                             (%slot-unbound-marker))
+                           `(require-type ,form ',type)))))))
             (dolist (slot slotds)
               (let* ((initarg (car (slot-definition-initargs slot)))