> Is there a reason not to just use `syntax-case' (or even better, > `syntax-parse')?
Sheer ignorance, my dear chap. I didn't realize that that worked! (A docs hint may be in order....) For those reading this later, here's an example: (define-syntax (String$ stx) (syntax-case stx (String$) [String$ (with-syntax ([term stx]) #'(first-order-sig string? #'term))])) but also note the discussion on the thread "syntax-parse and literals" on why syntax-parse is better than syntax-case (and it's not just because of the parsing). Shriram _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users