From 37322a7f2669f9713dd9599fcced4d4f714ab7e4 Mon Sep 17 00:00:00 2001 From: Tshepang Lekhonkhobe Date: Sun, 10 May 2020 16:37:26 +0200 Subject: [PATCH] glossary: make soundness definition more readable --- src/appendix/glossary.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/appendix/glossary.md b/src/appendix/glossary.md index c8738c99..b8905003 100644 --- a/src/appendix/glossary.md +++ b/src/appendix/glossary.md @@ -63,7 +63,7 @@ rib
| A data structure in the name resolve sess
| The compiler session, which stores global data used throughout compilation side tables
| Because the AST and HIR are immutable once created, we often carry extra information about them in the form of hashtables, indexed by the id of a particular node. sigil
| Like a keyword but composed entirely of non-alphanumeric tokens. For example, `&` is a sigil for references. -soundness
| A technical term in type theory. Roughly, if a type system is sound, then if a program type-checks, it is type-safe; i.e. I can never (in safe rust) force a value into a variable of the wrong type. (see "completeness"). +soundness
| A technical term in type theory. Roughly, if a type system is sound and a program type-checks, it is type-safe. That is, one can never (in safe rust) force a value into a variable of the wrong type. (see "completeness"). span
| A location in the user's source code, used for error reporting primarily. These are like a file-name/line-number/column tuple on steroids: they carry a start/end point, and also track macro expansions and compiler desugaring. All while being packed into a few bytes (really, it's an index into a table). See the Span datatype for more. substs
| The substitutions for a given generic type or item (e.g. the `i32`, `u32` in `HashMap`). tcx
| The "typing context", main data structure of the compiler. ([see more](../ty.html))