We have decided that we prefer to implement the #244 approach first, but for future reference, at some point it would be nice for a macro to be able to grab some syntax from the code it is transforming, and to parse it into a Type value. This is similar to local-expand, which takes a Syntax object and interprets it into another Syntax object, except that local-expand-type would take a Syntax object and interpret it into a Type value.
We have decided that we prefer to implement the #244 approach first, but for future reference, at some point it would be nice for a macro to be able to grab some syntax from the code it is transforming, and to parse it into a
Typevalue. This is similar tolocal-expand, which takes aSyntaxobject and interprets it into anotherSyntaxobject, except thatlocal-expand-typewould take aSyntaxobject and interpret it into aTypevalue.