diff --git a/src/appendix/glossary.md b/src/appendix/glossary.md index 0a756899..f428c8f0 100644 --- a/src/appendix/glossary.md +++ b/src/appendix/glossary.md @@ -61,6 +61,7 @@ promoted constants
| Constants extracted from a function provider | The function that executes a query. ([see more](../query.html)) quantified | In math or logic, existential and universal quantification are used to ask questions like "is there any type T for which is true?" or "is this true for all types T?"; see [the background chapter for more](./background.html#quantified). query | Perhaps some sub-computation during compilation. ([see more](../query.html)) +recovery | Recovery refers to handling invalid syntax during parsing (e.g. a missing comma) and continuing to parse the AST. This avoid showing spurious errors to the user (e.g. showing 'missing field' errors when the struct definition contains errors). region | Another term for "lifetime" often used in the literature and in the borrow checker. rib | A data structure in the name resolver that keeps track of a single scope for names. ([see more](../name-resolution.html)) sess | The compiler session, which stores global data used throughout compilation