5.3 Macro expansion

Function: macroexpand form

Function: macroexpand-1 form

If form is a list and its first element is a variable globally bound to a macro, macroexpand-1 invokes its macro transformer and returns the expanded form. Otherwise, returns form as is.

macroexpand repeats macroexpand-1 until the form can't be expanded.

These procedures can be used to expand globally defined macros.

Special Form: %macroexpand form

Special Form: %macroexpand-1 form