Skip to content

Commit b3aa636

Browse files
spastorinomark-i-m
authored andcommitted
Minor mir chapter fixes
1 parent 3981656 commit b3aa636

File tree

2 files changed

+2
-2
lines changed

2 files changed

+2
-2
lines changed

src/appendix/glossary.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ LTO | Link-Time Optimizations. A set of optimizations offer
4545
memoize | memoization is the process of storing the results of (pure) computations (such as pure function calls) to avoid having to repeat them in the future. This is typically a trade-off between execution speed and memory usage.
4646
MIR | the Mid-level IR that is created after type-checking for use by borrowck and codegen ([see more](../mir/index.html))
4747
miri | an interpreter for MIR used for constant evaluation ([see more](../miri.html))
48-
monomorphize | Monomorphization is the process of taking generic implementations of types and functions and producing instantiating them with concrete types. For example, in the code we might have `Vec<T>`, but in the final executable, we will have a copy of the `Vec` code for every concrete type used in the program (e.g. a copy for `Vec<usize>`, a copy for `Vec<MyStruct>`, etc).
48+
monomorphize | Monomorphization is the process of taking generic implementations of types and functions and instantiating them with concrete types. For example, in the code we might have `Vec<T>`, but in the final executable, we will have a copy of the `Vec` code for every concrete type used in the program (e.g. a copy for `Vec<usize>`, a copy for `Vec<MyStruct>`, etc).
4949
normalize | a general term for converting to a more canonical form, but in the case of rustc typically refers to [associated type normalization](../traits/associated-types.html#normalize)
5050
newtype | a "newtype" is a wrapper around some other type (e.g., `struct Foo(T)` is a "newtype" for `T`). This is commonly used in Rust to give a stronger type for indices.
5151
NLL | [non-lexical lifetimes](../borrow_check/region_inference.html), an extension to Rust's borrowing system to make it be based on the control-flow graph.

src/mir/optimizations.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -39,7 +39,7 @@ implemented in its own submodule of the [`rustc_mir::transform`][trans] module.
3939
[trans]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_mir/transform/index.html
4040

4141
Some examples of passes are:
42-
- `CleanupNonCodegenStatements`: remove some of the info that is only need for
42+
- `CleanupNonCodegenStatements`: remove some of the info that is only needed for
4343
analyses, rather than codegen.
4444
- `ConstProp`: Does [constant propagation][constprop]
4545

0 commit comments

Comments
 (0)