X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcompiler%2Fmacros.lisp;h=7ec86bdf5d0f2469cb2e52d2ab30f2da7cdf397d;hb=71d9292d4c2627c4d76b763443be759f95423c2c;hp=8f1a836773071a3577280bb5280e635dcd158359;hpb=f171f5d447f88f542730a06a2c72e84301f07f30;p=sbcl.git diff --git a/src/compiler/macros.lisp b/src/compiler/macros.lisp index 8f1a836..7ec86bd 100644 --- a/src/compiler/macros.lisp +++ b/src/compiler/macros.lisp @@ -193,6 +193,7 @@ translations-name attribute-names get-setf-expansion-fun-name) + (declare (ignore attribute-names)) `(define-setf-expander ,test-name (place &rest attributes &environment env) "Automagically generated boolean attribute setter. See @@ -205,8 +206,8 @@ (,get-setf-expansion-fun-name place env) (when (cdr stores) (error "multiple store variables for ~S" place)) - (let ((newval (gensym)) - (n-place (gensym)) + (let ((newval (sb!xc:gensym)) + (n-place (sb!xc:gensym)) (mask (compute-attribute-mask attributes ,translations-name))) (values `(,@temps ,n-place) `(,@values ,get) @@ -228,6 +229,12 @@ attribute-names 'get-setf-expansion))) +;;; Otherwise the source locations for DEFTRANSFORM, DEFKNOWN, &c +;;; would be off by one toplevel form as their source locations are +;;; determined before cross-compiling where the above PROGN is not +;;; seen. +#+sb-xc (progn) + ;;; And now for some gratuitous pseudo-abstraction... ;;; ;;; ATTRIBUTES-UNION @@ -397,10 +404,10 @@ (when (and eval-name defun-only) (error "can't specify both DEFUN-ONLY and EVAL-NAME")) (multiple-value-bind (body decls doc) (parse-body body-decls-doc) - (let ((n-args (gensym)) - (n-node (or node (gensym))) - (n-decls (gensym)) - (n-lambda (gensym)) + (let ((n-args (sb!xc:gensym)) + (n-node (or node (sb!xc:gensym))) + (n-decls (sb!xc:gensym)) + (n-lambda (sb!xc:gensym)) (decls-body `(,@decls ,@body))) (multiple-value-bind (parsed-form vars) (parse-deftransform lambda-list @@ -495,7 +502,7 @@ ;;; the rest of the optimizer function's lambda-list. LTN-ANNOTATE ;;; methods are passed an additional POLICY argument, and IR2-CONVERT ;;; methods are passed an additional IR2-BLOCK argument. -(defmacro defoptimizer (what (lambda-list &optional (n-node (gensym)) +(defmacro defoptimizer (what (lambda-list &optional (n-node (sb!xc:gensym)) &rest vars) &body body) (let ((name (if (symbolp what) what