-
Notifications
You must be signed in to change notification settings - Fork 514
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
1 changed file
with
12 additions
and
13 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,20 +1,19 @@ | ||
# Syntax and the AST | ||
|
||
Working directly with source code is very inconvenient and error-prone. Thus, | ||
before we do anything else, we convert raw source code into an [Abstract Syntax | ||
Tree (`AST`)][`AST`]. It turns out that doing even this involves a lot of work, | ||
including [lexing, parsing], [`macro` expansion], [name resolution], conditional | ||
compilation, [feature-gate checking], and [validation] of the [`AST`]. In this chapter, | ||
we take a look at all of these steps. | ||
Working directly with source code is very inconvenient and error-prone. | ||
Thus, before we do anything else, we convert raw source code into an | ||
[Abstract Syntax Tree (AST)][AST]. It turns out that doing this involves a lot of work, | ||
including [lexing, parsing], [macro expansion], [name resolution], conditional | ||
compilation, [feature-gate checking], and [validation] of the [AST]. | ||
In this chapter, we take a look at all of these steps. | ||
|
||
Notably, there isn't always a clean ordering between these tasks. For example, | ||
`macro` expansion relies on name resolution to resolve the names of `macro`s and | ||
imports. And parsing requires `macro` expansion, which in turn may require | ||
parsing the output of the `macro`. | ||
Notably, there isn't always a clean ordering between these tasks. | ||
For example, macro expansion relies on name resolution to resolve the names of macros and imports. | ||
And parsing requires macro expansion, which in turn may require parsing the output of the macro. | ||
|
||
[`AST`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_parse/index.html | ||
[`macro` expansion]: ./macro-expansion.md | ||
[AST]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_parse/index.html | ||
[macro expansion]: ./macro-expansion.md | ||
[feature-gate checking]: ./feature-gate-ck.md | ||
[lexing, parsing]: ./lexing-parsing.md | ||
[name resolution]: ./name-resolution.md | ||
[validation]: ./ast-validation.md | ||
[validation]: ./ast-validation.md |