> I like the idea of giving macros type information so they can actually report usage errors in a decent way. You might also find interesting the Scala macro s

> I like the idea of giving macros type information so they can actually report usage errors in a decent way. You might also find interesting the Scala macro system (http://scalamacros.org/documentation.html http://scalamacros.org/documentation.html)