GNU bug report logs - #8646
byte-compile-initial-macro-environment confuses byte-compile-arglist-warn

Previous Next

Full log

View this message in rfc822 format

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Glenn Morris <rgm <at> gnu.org>
Cc: 8646 <at> debbugs.gnu.org
Subject: bug#8646: byte-compile-initial-macro-environment confuses byte-compile-arglist-warn
Date: Wed, 11 May 2011 22:00:03 -0300

>> The "2+" vs "2-4" can be fixed by changing either the macro definition
>> of its override so that their arglist matches.

> No, really? ;)

> I don't see how to change the override definition to not use &rest,
> since it is a function that needs to distinguish "no argument" from
> "argument nil". And changing the macro to match the override seems like
> putting the cart before the horse.

> How about the following, based on the idea that it is the override that
> should be congruent with the real macro definition, even though the
> former gets defined first? It's the reason that
> byte-compile-macroexpand-declare-function can work.

It makes some sense, indeed.  But I'm not thrilled about this solution.
I'd rather change the defmacro to match the override.


        Stefan

Previous Next

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