Timon Gehr:
I take it you mean syntax sugar for pattern matching? AST macros have failed if they do not allow a decent library implementation of such functionality. :)
Maybe Jacob Carlborg is able to show what kind of syntax for pattern matching the macros are able to create (no need to actually implement it now).
That document about D macros could use a good list of possible usages (copying something from the Scala site is OK).
Bye, bearophile
