MACROEXPAND in DrScheme
(define (macroexpand expr)
(syntax-object->datum (expand expr)) )
1. EXPAND transforms the expression (presumably a macro call) by applying the macro’s transformer. Any macro calls within the expansion are also expanded. An object of type SYNTAX is returned.
2. The syntax object is converted into an S-expression by SYNTAX-OBJECT->DATUM.