13 Jan
2017
13 Jan
'17
23:07
It would be nice to have "macro schemas" to describe the shape of valid Sexp arguments of macros, similarly to XML Schemas. There are various "levels" of descriptions that I can imagine from purely syntactic (à la RelaxNG), to more sophisticated equivalent to typing rules, with intermediates that include syntax + scoping. Stefan