Matthias Felleisen wrote: > For the above, you could define macros (syntax-case) This isn't what I meant. SYNTAX-CASE defines general-purpose transformers. It just so happens that you can use these functions in a macro context. But you can also use them as a pattern-matching primitive in the midst of any program. Shriram