Re: macroexpand-all and cl-macrolet

[Wolfgang Jenkner]

On Sat, Aug 17 2013, Nic Ferrier wrote:

> Is macroexpand-all not supposed to work with macrolet?
>
>   (progn
>     (cl-macrolet 
>         ((nlet (bindings &rest body)
>            `(apply
>              (lambda ,(mapcar 'car bindings) ,@body)
>              (list ,@(mapcar 'cadr bindings)))))
>       (macroexpand-all
>        '(nlet ((a 1)
>                (b '(10)))
>          (* a (car b)))))) 
>
>    =>  (nlet ((a 1)
>               (b (quote (10))))
>          (* a (car b)))

However, the following form evaluates to the desired expansion of nlet.
It is inspired by the description of `macroexpand' in the CLHS, in
particular by the remark about `macrolet' and the examples given there,
see

http://www.lispworks.com/documentation/HyperSpec/Body/f_mexp_.htm

(progn
  (require 'cl-lib)

  (cl-defmacro macroexpand-all-locally (form &environment env)
    `(macroexpand-all ,form ',env))

  (cl-macrolet
      ((nlet (bindings &rest body)
             `(apply
               (lambda ,(mapcar 'car bindings) ,@body)
               (list ,@(mapcar 'cadr bindings)))))
    (macroexpand-all-locally
     '(nlet ((a 1)
             (b '(10)))
            (* a (car b))))))


Wolfgang