3 Evaluation and Compilation 3.2 Compilation 3.2.3 File Compilation 220.127.116.11 Processing of Top Level Forms
18.104.22.168.2 Constraints on Macros and Compiler Macros
Except where explicitly stated otherwise, no macro defined in
the Common Lisp standard produces an expansion that could cause any of the
subforms of the macro form to be treated as
top level forms. If an implementation also provides a
special operator definition of a Common Lisp macro,
the special operator definition must be semantically equivalent
in this respect.
Compiler macro expansions must also have the same
top level evaluation semantics as the form which they replace.
This is of concern both to conforming implementations and to