Changeset 7992

Timestamp:

Jan 2, 2008, 8:23:15 PM (17 years ago)

Author:

Gary Byers

Message:

Default *TYPECHECK-SLOTS-IN-OPTIMIZED-MAKE-INSTANCE* to T.

In the FLETed function GENERATE-TYPE-CHECK inside
MAKE-INSTANTIATE-LAMBDA-FOR-CLASS-CELL, use the initarg value (which
may well be something other than (%SLOT-UNBOUND-MARKER)) if no
initarg was supplied in the call. D'oh.

File:

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

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

@@ -2036 +2036 @@
         (values nil nil)))))
 
-(defparameter *typecheck-slots-in-optimized-make-instance* nil)
-
-
+(defparameter *typecheck-slots-in-optimized-make-instance* t)
 
 
@@ -2066 +2064 @@
                   (forms))
           (flet ((generate-type-check (form type &optional spvar)
-                   (if (null *typecheck-slots-in-optimized-make-instance*)
+                   (if (or (null *typecheck-slots-in-optimized-make-instance*)
+                           (eq form t))
                      form
                      (if spvar
                        `(if ,spvar
                          (require-type ,form ',type)
-                         (%slot-unbound-marker))
+                         ,form)
                        `(require-type ,form ',type)))))
             (dolist (slot slotds)