Skip to content

Commit a797e14

Browse files
committed
fix table
1 parent 3025c38 commit a797e14

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/glossary.md

+2-2
Original file line numberDiff line numberDiff line change
@@ -6,8 +6,8 @@ The compiler uses a number of...idiosyncratic abbreviations and things. This glo
66
Term | Meaning
77
------------------------|--------
88
AST | the abstract syntax tree produced by the syntax crate; reflects user syntax very closely.
9-
binder | a "binder" is a place where a variable or type is declared; for example, the `<T>` is a binder for the generic type parameter `T` in `fn foo<T>(..)`, and `\|a\| ...` is a binder for the parameter `a`. See [the background chapter for more](./background.html#free-vs-bound)
10-
bound variable | a "bound variable" is one that is declared within an expression/term. For example, the variable `a` is bound within the closure expession `|a| a * 2`. See [the background chapter for more](./background.html#free-vs-bound)
9+
binder | a "binder" is a place where a variable or type is declared; for example, the `<T>` is a binder for the generic type parameter `T` in `fn foo<T>(..)`, and `&#124;a&#124; ...` is a binder for the parameter `a`. See [the background chapter for more](./background.html#free-vs-bound)
10+
bound variable | a "bound variable" is one that is declared within an expression/term. For example, the variable `a` is bound within the closure expession `&#124;a&#124; a * 2`. See [the background chapter for more](./background.html#free-vs-bound)
1111
codegen unit | when we produce LLVM IR, we group the Rust code into a number of codegen units. Each of these units is processed by LLVM independently from one another, enabling parallelism. They are also the unit of incremental re-use.
1212
completeness | completeness is a technical term in type theory. Completeness means that every type-safe program also type-checks. Having both soundness and completeness is very hard, and usually soundness is more important. (see "soundness").
1313
control-flow graph | a representation of the control-flow of a program; see [the background chapter for more](./background.html#cfg)

0 commit comments

Comments
 (0)