From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Wolfgang Jenkner Newsgroups: gmane.emacs.devel Subject: Re: macroexpand-all and cl-macrolet Date: Mon, 19 Aug 2013 14:08:13 +0200 Message-ID: <85wqnhq3wy.fsf@inode.at> References: <87wqnk15nl.fsf@ferrier.me.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1376914151 27905 80.91.229.3 (19 Aug 2013 12:09:11 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 19 Aug 2013 12:09:11 +0000 (UTC) Cc: emacs-devel@gnu.org To: Nic Ferrier Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Mon Aug 19 14:09:12 2013 Return-path: Envelope-to: ged-emacs-devel@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1VBOGh-0001Dp-SW for ged-emacs-devel@m.gmane.org; Mon, 19 Aug 2013 14:09:07 +0200 Original-Received: from localhost ([::1]:42682 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VBOGh-00080a-Db for ged-emacs-devel@m.gmane.org; Mon, 19 Aug 2013 08:09:07 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:54401) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VBOG1-000751-Kg for emacs-devel@gnu.org; Mon, 19 Aug 2013 08:08:31 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1VBOFv-00026u-BX for emacs-devel@gnu.org; Mon, 19 Aug 2013 08:08:25 -0400 Original-Received: from mx19.lb01.inode.at ([62.99.145.21]:32231 helo=mx.inode.at) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1VBOFu-00025N-RU for emacs-devel@gnu.org; Mon, 19 Aug 2013 08:08:19 -0400 Original-Received: from [91.119.88.127] (port=3281 helo=localhost) by smartmx-19.inode.at with esmtps (TLS1.0:DHE_RSA_AES_256_CBC_SHA1:32) (Exim 4.69) (envelope-from ) id 1VBOFr-00048S-M2; Mon, 19 Aug 2013 14:08:15 +0200 Original-Received: from wolfgang by localhost with local (Exim 4.80.1) (envelope-from ) id 1VBOFp-0000Qn-QC; Mon, 19 Aug 2013 14:08:13 +0200 Mail-Followup-To: Nic Ferrier , emacs-devel@gnu.org User-Agent: Gnus/5.130008 (Ma Gnus v0.8) Emacs/24.3.50 (gnu/linux) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 62.99.145.21 X-BeenThere: emacs-devel@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: "Emacs development discussions." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Original-Sender: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.devel:162875 Archived-At: 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