Macrolet and setf

["Scott E. Fahlman" <Fahlman@C.CS.CMU.EDU>]

    >> (defun abc (n)
    >>   (macrolet ((mmm (z) `(gethash ,z *bob*)))
    >> 	    (setf (mmm n) 5)))


     I believe that the preceeding should be permitted, but it requires that
    get-setf-method be permitted to take a second, environment, argument.
    Such a change may have already been proposed.

You're right, that's what it takes, and this change has already been
proposed.  It seemed pretty clear to everyone that this change was
required in order for SETF of macros to work properly, so a number of
implementations went ahead and added it (as an optional arg), even
though there has been no mechanism whereby this change could be adopted
officially.

-- Scott