GNU bug report logs - #41381
28.0.50; Can't compile file containing a local pcase macro

Previous Next

Full log

View this message in rfc822 format

From: Pip Cet <pipcet <at> gmail.com>
To: Philipp Stephani <p.stephani2 <at> gmail.com>
Cc: 41381 <at> debbugs.gnu.org
Subject: bug#41381: 28.0.50; Can't compile file containing a local pcase macro
Date: Wed, 03 Jun 2020 21:59:36 +0000

Philipp Stephani <p.stephani2 <at> gmail.com> writes:
> $ cat test.el
> ;;; -*- lexical-binding: t; -*-
> (pcase-defmacro test () '_)
> (defun test () (pcase nil ((test))))
>
> $ emacs -Q -batch -l bytecomp -f batch-byte-compile test.el
>
> In toplevel form:
> test.el:3:1: Error: Symbol’s function definition is void: test--pcase-macroexpander
>
> It works if the pcase macro is surrounded with `eval-when-compile', but
> that shouldn't be necessary I think.

Wouldn't it be better to surround the pcase-defmacro call with
(eval-and-compile ...)?

I think it would be great if there were some clever way to make eager
macro expansion less eager, so things like evaluating the following two
expressions one after another

(defmacro foo () 3)

(progn
  (defmacro foo () 4)
  (foo))

would produce the right result (4 rather than 3). That would solve this
problem as well, but it's probably impossible to do with reasonable
performance.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.