;;;; This software is made available AS IS, and Xerox Corporation makes no
;;;; warranty about the software, its performance or its conformity to any
;;;; specification.
-\f
+
(in-package "SB-PCL")
+\f
+(/show "starting pcl/macros.lisp")
(declaim (declaration
;; These three nonstandard declarations seem to be used
;; information around, I'm not sure. -- WHN 2000-12-30
%variable-rebinding))
-(defmacro name-get-fdefinition (name)
- (sb-int:once-only ((name name))
- `(if (symbolp ,name) ; take care of "setf <fun>"'s
- (symbol-function ,name)
- (fdefinition ,name))))
-
-(defmacro name-set-fdefinition (name new-definition)
- (sb-int:once-only ((name name))
- `(if (symbolp ,name) ; take care of "setf <fun>"'s
- (setf (symbol-function ,name) ,new-definition)
- (setf (fdefinition ,name) ,new-definition))))
-
-;;; FIXME: CONSTANTLY-FOO should be boosted up to SB-INT too.
-(macrolet ((def-constantly-fun (name constant-expr)
- `(name-set-fdefinition ',name
- (constantly ,constant-expr))))
- (def-constantly-fun constantly-t t)
- (def-constantly-fun constantly-nil nil)
- (def-constantly-fun constantly-0 0))
+(/show "done with DECLAIM DECLARATION")
;;; FIXME: This looks like SBCL's PARSE-BODY, and should be shared.
(eval-when (:compile-toplevel :load-toplevel :execute)
+
(defun extract-declarations (body &optional environment)
;;(declare (values documentation declarations body))
(let (documentation
- declarations
- form)
+ declarations
+ form)
(when (and (stringp (car body))
- (cdr body))
+ (cdr body))
(setq documentation (pop body)))
(block outer
(loop
- (when (null body) (return-from outer nil))
- (setq form (car body))
- (when (block inner
- (loop (cond ((not (listp form))
- (return-from outer nil))
- ((eq (car form) 'declare)
- (return-from inner 't))
- (t
- (multiple-value-bind (newform macrop)
- (macroexpand-1 form environment)
- (if (or (not (eq newform form)) macrop)
- (setq form newform)
- (return-from outer nil)))))))
- (pop body)
- (dolist (declaration (cdr form))
- (push declaration declarations)))))
+ (when (null body) (return-from outer nil))
+ (setq form (car body))
+ (when (block inner
+ (loop (cond ((not (listp form))
+ (return-from outer nil))
+ ((eq (car form) 'declare)
+ (return-from inner t))
+ (t
+ (multiple-value-bind (newform macrop)
+ (macroexpand-1 form environment)
+ (if (or (not (eq newform form)) macrop)
+ (setq form newform)
+ (return-from outer nil)))))))
+ (pop body)
+ (dolist (declaration (cdr form))
+ (push declaration declarations)))))
(values documentation
- (and declarations `((declare ,.(nreverse declarations))))
- body)))
+ (and declarations `((declare ,.(nreverse declarations))))
+ body)))
) ; EVAL-WHEN
+(/show "done with EVAL-WHEN (..) DEFUN EXTRACT-DECLARATIONS")
+
(defun get-declaration (name declarations &optional default)
(dolist (d declarations default)
(dolist (form (cdr d))
(when (and (consp form) (eq (car form) name))
(return-from get-declaration (cdr form))))))
+(/show "pcl/macros.lisp 85")
+
(defmacro collecting-once (&key initial-value)
`(let* ((head ,initial-value)
(tail ,(and initial-value `(last head))))
(cdr (rplacd tail (list value)))))))
#'(lambda nil head))))
+(/show "pcl/macros.lisp 98")
+
(defmacro doplist ((key val) plist &body body &environment env)
(multiple-value-bind (doc decls bod)
(extract-declarations body env)
(setq ,val (pop .plist-tail.))
(progn ,@bod)))))
+(/show "pcl/macros.lisp 113")
+
(defmacro dolist-carefully ((var list improper-list-handler) &body body)
`(let ((,var nil)
(.dolist-carefully. ,list))
;;;; SBCL deviates from the spec by having CL:FIND-CLASS distinct from
;;;; PCL:FIND-CLASS, alas.
+(/show "pcl/macros.lisp 132")
+
(defvar *find-class* (make-hash-table :test 'eq))
(defmacro find-class-cell-class (cell)
(error "~S is not a legal class name." symbol))
(setf (gethash symbol *find-class*) (make-find-class-cell symbol)))))
+(/show "pcl/macros.lisp 157")
+
(defvar *create-classes-from-internal-structure-definitions-p* t)
(defun find-class-from-cell (symbol cell &optional (errorp t))
;;; (DECLAIM (TYPE (MEMBER NIL :EARLY :BRAID :COMPLETE) *BOOT-STATE*))
(defvar *boot-state* nil)
+(/show "pcl/macros.lisp 199")
+
;;; Note that in SBCL as in CMU CL,
;;; COMMON-LISP:FIND-CLASS /= SB-PCL:FIND-CLASS.
;;; (Yes, this is a KLUDGE!)
(eq *boot-state* 'braid))
(when (and new-value (class-wrapper new-value))
(setf (find-class-cell-predicate cell)
- (name-get-fdefinition (class-predicate-name new-value))))
+ (fdefinition (class-predicate-name new-value))))
(when (and new-value (not (forward-referenced-class-p new-value)))
- (dolist (keys+aok (find-class-cell-make-instance-function-keys cell))
+ (dolist (keys+aok (find-class-cell-make-instance-function-keys
+ cell))
(update-initialize-info-internal
(initialize-info new-value (car keys+aok) nil (cdr keys+aok))
'make-instance-function))))
new-value)
(error "~S is not a legal class name." symbol)))
+(/show "pcl/macros.lisp 242")
+
(defun (setf find-class-predicate)
(new-value symbol)
(if (legal-class-name-p symbol)
value)))
#'(lambda () result))))
-;;; These are augmented definitions of list-elements and list-tails from
-;;; iterate.lisp. These versions provide the extra :by keyword which can
+(/show "pcl/macros.lisp 271")
+
+;;; These are augmented definitions of LIST-ELEMENTS and LIST-TAILS from
+;;; iterate.lisp. These versions provide the extra :BY keyword which can
;;; be used to specify the step function through the list.
(defmacro *list-elements (list &key (by #'cdr))
`(let ((tail ,list))
(defmacro function-apply (form &rest args)
`(apply (the function ,form) ,@args))
-\f
-(defun get-setf-function-name (name)
+(/show "pcl/macros.lisp 299")
+\f
+(defun get-setf-fun-name (name)
`(setf ,name))
(defsetf slot-value set-slot-value)
+
+(/show "finished with pcl/macros.lisp")
projects / sbcl.git / blobdiff