From 04d7599c41668f1c2a7c593a1628c0e9fa4b8901 Mon Sep 17 00:00:00 2001 From: Lucas Franceschino Date: Wed, 27 Nov 2024 15:38:29 +0100 Subject: [PATCH] Update book/src/contributing/architecture.md Co-authored-by: Franziskus Kiefer --- book/src/contributing/architecture.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/book/src/contributing/architecture.md b/book/src/contributing/architecture.md index d6fcab013..946a4976b 100644 --- a/book/src/contributing/architecture.md +++ b/book/src/contributing/architecture.md @@ -11,7 +11,7 @@ The frontend is responsible for extracting and exporting Rust code's abstract sy ### `hax-frontend-exporter` Library -This library mirrors the internal types of the Rust compiler (`rustc`) that constitute the **HIR** (High-Level Intermediate Representation), **THIR** (Typed High-Level Intermediate Representation), and **MIR** (Mid-Level Intermediate Representation) ASTs. It extends them with additional information such as attributes, trait implementations, and removes IDs indirections. +This library mirrors the internal types of the Rust compiler (`rustc`) that constitute the **HIR** (High-Level Intermediate Representation), **THIR** (Typed High-Level Intermediate Representation), and **MIR** (Mid-Level Intermediate Representation) ASTs. It extends them with additional information such as attributes, trait implementations, and removes ID indirections. **`SInto` Trait:** The library defines an entry point for translating a given `rustc` value to its mirrored hax version using the `SInto` trait (stateful `into`). For a value `x` of type `T` from `rustc`, if `T` is mirrored by hax, then `x.sinto(s)` produces an augmented and simplified "hax-ified" AST for `x`. Here, `s` represents the state holding information about the translation process.