From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Nic Ferrier Newsgroups: gmane.emacs.devel Subject: macroexpand and progn Date: Sun, 28 Sep 2014 11:52:37 +0100 Message-ID: <87r3ywt3t6.fsf@ferrier.me.uk> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1411901600 30605 80.91.229.3 (28 Sep 2014 10:53:20 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Sun, 28 Sep 2014 10:53:20 +0000 (UTC) To: emacs-devel@gnu.org Original-X-From: emacs-devel-bounces+ged-emacs-devel=m.gmane.org@gnu.org Sun Sep 28 12:53:14 2014 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 1XYC6L-0001Pz-SN for ged-emacs-devel@m.gmane.org; Sun, 28 Sep 2014 12:53:13 +0200 Original-Received: from localhost ([::1]:59170 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYC6L-0001t8-FG for ged-emacs-devel@m.gmane.org; Sun, 28 Sep 2014 06:53:13 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47004) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYC62-0001t0-2m for emacs-devel@gnu.org; Sun, 28 Sep 2014 06:53:01 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1XYC5u-0004oN-KM for emacs-devel@gnu.org; Sun, 28 Sep 2014 06:52:54 -0400 Original-Received: from static.17.66.46.78.clients.your-server.de ([78.46.66.17]:33161 helo=po1.ferrier.me.uk) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1XYC5u-0004kX-Ec for emacs-devel@gnu.org; Sun, 28 Sep 2014 06:52:46 -0400 Original-Received: from nicferrier-dell-xps (140.35.155.90.in-addr.arpa [90.155.35.140]) by po1.ferrier.me.uk (Postfix) with ESMTPA id 6C804AC0068; Sun, 28 Sep 2014 13:08:17 +0200 (CEST) Original-Received: from nicferrier-XPS13-9333 (localhost [127.0.0.1]) by nicferrier-dell-xps (Postfix) with ESMTPS id 778AB60257; Sun, 28 Sep 2014 11:52:37 +0100 (BST) X-detected-operating-system: by eggs.gnu.org: GNU/Linux 3.x X-Received-From: 78.46.66.17 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:174761 Archived-At: I am writing an Emacs-Lisp to Javascript compiler. As part of that I am converting EmacsLisp to a condensed form of EmacsLisp, removing most of the special forms and rewriting them as more general special forms. When I come to replace progn with a function I started to get oddness. I did some experiments: (cl-defmacro nic-macroexpand-all-locally (form &environment env) "Macroexpand things made with macrolet." `(macroexpand-all ,form ',env)) (defun nic-translate (form) (cl-macrolet ((progn (&rest body) `(nicblock ,body))) (nic-macroexpand-all-locally form))) (defun nic-translate2 (form) (cl-macrolet ((prognblah (&rest body) `(blahblock ,body))) (nic-macroexpand-all-locally form))) (nic-translate '(progn (* 10 20))) => error void-function nic-block ??? (nic-translate2 '(prognblah (* 10 20))) => (blahblock ((* 10 20))) In other words it looks like it's not possible to macro define `progn'. Does anyone know if this is so and if so why? I guess it won't be too much trouble for me, I can always add it to my tiny Lisp language. But it's interesting. Nic