What kind of macro systems are you talking about? C-like macros? Assembly macros? Lisp...

Again, I reiterate what experience shows happens with macro systems in the long term.

...you... that this is precisely something that *should* be done with a library-defined macro.

...this. I've not only extensively used macro systems, I've designed two successful ones...

...name of the function.

With AST macros:

macro namespace (Context context, Ast!(string) name, Declaration...

I think the whole point of macro is to NOT add too much feature to...

...skeptical of the value of an AST macro that took 3+4 and changed it...

...on the same stage as mixins.

All macro invocations are already checked. They're lexed...

...http://wiki.dlang.org/DIP50#The_AST_Macro

Instead of "<[ a + b ]>" you would do...

...the macro itself. Perhaps it should be explored a forced parsing and validation of macro...