What Is a Special Form and What Is a Macro?

The reader reads the text or whatever we pass it to, right? Then the analyzer takes the data structure and converts this to the AST. While it's doing that, while it's converting into the AST, other interesting things are happening in there. One thing is that's when macro expansion occurs, is during analysis. And it keeps recursively doing that until there's no more macros to be expanded.