Re: [racket-users] Is there a way to fully expand and evaluate a syntax object at compile-time? (Redex compile-time typechecks)

(Responded to Joey offlist, but for others interested, here's a more detailed reply) The "(#%expression (let-values () (let-values (((ws1) (#%expression ..." wrapper is a bunch of internal Racket stuff. For simple #lang's, I've been able to just ignore it, although I'm sure it's got some

[racket-users] Is there a way to fully expand and evaluate a syntax object at compile-time? (Redex compile-time typechecks)

As part of my ongoing attempt to turn my Redex model into a #lang, I'm wondering, is there a way to fully expand and evaluate a syntax object at compile-time? I'm trying to get compile-time typechecking working. Here's what I have: * My Redex model uses names like TermLam, TermApp etc. *