From cddd59fff853b9e4d7c556d34168635be304978a Mon Sep 17 00:00:00 2001 From: Edwin Date: Sat, 18 Jun 2022 04:31:49 +0100 Subject: [PATCH] Add an "is" and rearange "We next" to "Next, we" (#1369) --- src/overview.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/overview.md b/src/overview.md index a3c2258e8..ea4b3ca04 100644 --- a/src/overview.md +++ b/src/overview.md @@ -83,9 +83,9 @@ try to recover, parsing a superset of Rust's grammar, while also emitting an err ### HIR lowering -We next take the AST and convert it to [High-Level Intermediate +Next, we take the AST and convert it to [High-Level Intermediate Representation (HIR)][hir], a more compiler-friendly representation of the -AST. This process called "lowering". It involves a lot of desugaring of things +AST. This process is called "lowering". It involves a lot of desugaring of things like loops and `async fn`. We then use the HIR to do [*type inference*] (the process of automatic