From fb0e1b38c8d2073b85a7bd4409d4f88c8ec2225c Mon Sep 17 00:00:00 2001 From: Niko Matsakis Date: Wed, 17 Jan 2018 09:25:59 -0500 Subject: remove `src/src` directory that somehow got created --- src/doc/rustc-dev-guide/src/SUMMARY.md | 19 +++++++++++++ .../src/chap-010-how-to-build-and-run.md | 1 + .../rustc-dev-guide/src/chap-020-running-tests.md | 1 + .../rustc-dev-guide/src/chap-030-walkthrough.md | 1 + .../src/chap-040-compiler-conventions.md | 1 + src/doc/rustc-dev-guide/src/chap-050-the-parser.md | 1 + .../src/chap-060-macro-expansion.md | 1 + .../src/chap-070-name-resolution.md | 1 + .../rustc-dev-guide/src/chap-080-hir-lowering.md | 1 + src/doc/rustc-dev-guide/src/chap-090-ty.md | 1 + .../rustc-dev-guide/src/chap-100-type-inference.md | 1 + .../src/chap-110-trait-resolution.md | 1 + .../rustc-dev-guide/src/chap-120-type-checking.md | 1 + .../src/chap-130-mir-construction.md | 1 + .../rustc-dev-guide/src/chap-140-mir-borrowck.md | 1 + .../src/chap-150-mir-optimizations.md | 1 + src/doc/rustc-dev-guide/src/chap-160-trans.md | 1 + src/doc/rustc-dev-guide/src/glossary.md | 31 ++++++++++++++++++++++ src/doc/rustc-dev-guide/src/src/SUMMARY.md | 19 ------------- .../src/src/chap-010-how-to-build-and-run.md | 1 - .../src/src/chap-020-running-tests.md | 1 - .../src/src/chap-030-walkthrough.md | 1 - .../src/src/chap-040-compiler-conventions.md | 1 - .../rustc-dev-guide/src/src/chap-050-the-parser.md | 1 - .../src/src/chap-060-macro-expansion.md | 1 - .../src/src/chap-070-name-resolution.md | 1 - .../src/src/chap-080-hir-lowering.md | 1 - src/doc/rustc-dev-guide/src/src/chap-090-ty.md | 1 - .../src/src/chap-100-type-inference.md | 1 - .../src/src/chap-110-trait-resolution.md | 1 - .../src/src/chap-120-type-checking.md | 1 - .../src/src/chap-130-mir-construction.md | 1 - .../src/src/chap-140-mir-borrowck.md | 1 - .../src/src/chap-150-mir-optimizations.md | 1 - src/doc/rustc-dev-guide/src/src/chap-160-trans.md | 1 - src/doc/rustc-dev-guide/src/src/glossary.md | 31 ---------------------- 36 files changed, 66 insertions(+), 66 deletions(-) create mode 100644 src/doc/rustc-dev-guide/src/SUMMARY.md create mode 100644 src/doc/rustc-dev-guide/src/chap-010-how-to-build-and-run.md create mode 100644 src/doc/rustc-dev-guide/src/chap-020-running-tests.md create mode 100644 src/doc/rustc-dev-guide/src/chap-030-walkthrough.md create mode 100644 src/doc/rustc-dev-guide/src/chap-040-compiler-conventions.md create mode 100644 src/doc/rustc-dev-guide/src/chap-050-the-parser.md create mode 100644 src/doc/rustc-dev-guide/src/chap-060-macro-expansion.md create mode 100644 src/doc/rustc-dev-guide/src/chap-070-name-resolution.md create mode 100644 src/doc/rustc-dev-guide/src/chap-080-hir-lowering.md create mode 100644 src/doc/rustc-dev-guide/src/chap-090-ty.md create mode 100644 src/doc/rustc-dev-guide/src/chap-100-type-inference.md create mode 100644 src/doc/rustc-dev-guide/src/chap-110-trait-resolution.md create mode 100644 src/doc/rustc-dev-guide/src/chap-120-type-checking.md create mode 100644 src/doc/rustc-dev-guide/src/chap-130-mir-construction.md create mode 100644 src/doc/rustc-dev-guide/src/chap-140-mir-borrowck.md create mode 100644 src/doc/rustc-dev-guide/src/chap-150-mir-optimizations.md create mode 100644 src/doc/rustc-dev-guide/src/chap-160-trans.md create mode 100644 src/doc/rustc-dev-guide/src/glossary.md delete mode 100644 src/doc/rustc-dev-guide/src/src/SUMMARY.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-010-how-to-build-and-run.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-020-running-tests.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-030-walkthrough.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-040-compiler-conventions.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-050-the-parser.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-060-macro-expansion.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-070-name-resolution.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-080-hir-lowering.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-090-ty.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-100-type-inference.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-110-trait-resolution.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-120-type-checking.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-130-mir-construction.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-140-mir-borrowck.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-150-mir-optimizations.md delete mode 100644 src/doc/rustc-dev-guide/src/src/chap-160-trans.md delete mode 100644 src/doc/rustc-dev-guide/src/src/glossary.md (limited to 'src/doc/rustc-dev-guide') diff --git a/src/doc/rustc-dev-guide/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/SUMMARY.md new file mode 100644 index 00000000000..21c87188555 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/SUMMARY.md @@ -0,0 +1,19 @@ +# Summary + +- [How to build the compiler and run what you built](./chap-010-how-to-build-and-run.md) +- [Using the compiler testing framework](./chap-020-running-tests.md) +- [Walkthrough: a typical contribution](./chap-030-walkthrough.md) +- [Conventions used in the compiler](./chap-040-compiler-conventions.md) +- [The parser](./chap-050-the-parser.md) +- [Macro expansion](./chap-060-macro-expansion.md) +- [Name resolution](./chap-070-name-resolution.md) +- [HIR lowering](./chap-080-hir-lowering.md) +- [Representing types (`ty` module in depth)](./chap-090-ty.md) +- [Type inference](./chap-100-type-inference.md) +- [Trait resolution](./chap-110-trait-resolution.md) +- [Type checking](./chap-120-type-checking.md) +- [MIR construction](./chap-130-mir-construction.md) +- [MIR borrowck](./chap-140-mir-borrowck.md) +- [MIR optimizations](./chap-150-mir-optimizations.md) +- [trans: generating LLVM IR](./chap-160-trans.md) +- [Glossary](./glossary.md) diff --git a/src/doc/rustc-dev-guide/src/chap-010-how-to-build-and-run.md b/src/doc/rustc-dev-guide/src/chap-010-how-to-build-and-run.md new file mode 100644 index 00000000000..505836094d1 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-010-how-to-build-and-run.md @@ -0,0 +1 @@ +# How to build the compiler and run what you built diff --git a/src/doc/rustc-dev-guide/src/chap-020-running-tests.md b/src/doc/rustc-dev-guide/src/chap-020-running-tests.md new file mode 100644 index 00000000000..02c9de84067 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-020-running-tests.md @@ -0,0 +1 @@ +# Using the compiler testing framework diff --git a/src/doc/rustc-dev-guide/src/chap-030-walkthrough.md b/src/doc/rustc-dev-guide/src/chap-030-walkthrough.md new file mode 100644 index 00000000000..ab158177a42 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-030-walkthrough.md @@ -0,0 +1 @@ +# Walkthrough: a typical contribution diff --git a/src/doc/rustc-dev-guide/src/chap-040-compiler-conventions.md b/src/doc/rustc-dev-guide/src/chap-040-compiler-conventions.md new file mode 100644 index 00000000000..314221fa0e5 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-040-compiler-conventions.md @@ -0,0 +1 @@ +# Conventions used in the compiler diff --git a/src/doc/rustc-dev-guide/src/chap-050-the-parser.md b/src/doc/rustc-dev-guide/src/chap-050-the-parser.md new file mode 100644 index 00000000000..ab756895ae6 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-050-the-parser.md @@ -0,0 +1 @@ +# The parser diff --git a/src/doc/rustc-dev-guide/src/chap-060-macro-expansion.md b/src/doc/rustc-dev-guide/src/chap-060-macro-expansion.md new file mode 100644 index 00000000000..12b95cb6cb0 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-060-macro-expansion.md @@ -0,0 +1 @@ +# Macro expansion diff --git a/src/doc/rustc-dev-guide/src/chap-070-name-resolution.md b/src/doc/rustc-dev-guide/src/chap-070-name-resolution.md new file mode 100644 index 00000000000..487a31d2c52 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-070-name-resolution.md @@ -0,0 +1 @@ +# Name resolution diff --git a/src/doc/rustc-dev-guide/src/chap-080-hir-lowering.md b/src/doc/rustc-dev-guide/src/chap-080-hir-lowering.md new file mode 100644 index 00000000000..b2b6a7cdf8f --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-080-hir-lowering.md @@ -0,0 +1 @@ +# HIR lowering diff --git a/src/doc/rustc-dev-guide/src/chap-090-ty.md b/src/doc/rustc-dev-guide/src/chap-090-ty.md new file mode 100644 index 00000000000..1762ce037fa --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-090-ty.md @@ -0,0 +1 @@ +# Representing types (`ty` module in depth) diff --git a/src/doc/rustc-dev-guide/src/chap-100-type-inference.md b/src/doc/rustc-dev-guide/src/chap-100-type-inference.md new file mode 100644 index 00000000000..0fc99252ab7 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-100-type-inference.md @@ -0,0 +1 @@ +# Type inference diff --git a/src/doc/rustc-dev-guide/src/chap-110-trait-resolution.md b/src/doc/rustc-dev-guide/src/chap-110-trait-resolution.md new file mode 100644 index 00000000000..dd16aac62b4 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-110-trait-resolution.md @@ -0,0 +1 @@ +# Trait resolution diff --git a/src/doc/rustc-dev-guide/src/chap-120-type-checking.md b/src/doc/rustc-dev-guide/src/chap-120-type-checking.md new file mode 100644 index 00000000000..c559c128360 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-120-type-checking.md @@ -0,0 +1 @@ +# Type checking diff --git a/src/doc/rustc-dev-guide/src/chap-130-mir-construction.md b/src/doc/rustc-dev-guide/src/chap-130-mir-construction.md new file mode 100644 index 00000000000..898fcd529ed --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-130-mir-construction.md @@ -0,0 +1 @@ +# MIR construction diff --git a/src/doc/rustc-dev-guide/src/chap-140-mir-borrowck.md b/src/doc/rustc-dev-guide/src/chap-140-mir-borrowck.md new file mode 100644 index 00000000000..55bc9fc982a --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-140-mir-borrowck.md @@ -0,0 +1 @@ +# MIR borrowck diff --git a/src/doc/rustc-dev-guide/src/chap-150-mir-optimizations.md b/src/doc/rustc-dev-guide/src/chap-150-mir-optimizations.md new file mode 100644 index 00000000000..ddafa0c99c3 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-150-mir-optimizations.md @@ -0,0 +1 @@ +# MIR optimizations diff --git a/src/doc/rustc-dev-guide/src/chap-160-trans.md b/src/doc/rustc-dev-guide/src/chap-160-trans.md new file mode 100644 index 00000000000..7092b7a0baf --- /dev/null +++ b/src/doc/rustc-dev-guide/src/chap-160-trans.md @@ -0,0 +1 @@ +# trans: generating LLVM IR diff --git a/src/doc/rustc-dev-guide/src/glossary.md b/src/doc/rustc-dev-guide/src/glossary.md new file mode 100644 index 00000000000..b66e17ea3c1 --- /dev/null +++ b/src/doc/rustc-dev-guide/src/glossary.md @@ -0,0 +1,31 @@ +Glossary +-------- + +The compiler uses a number of...idiosyncratic abbreviations and things. This glossary attempts to list them and give you a few pointers for understanding them better. + +Term | Meaning +------------------------|-------- +AST | the abstract syntax tree produced by the syntax crate; reflects user syntax very closely. +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. +cx | we tend to use "cx" as an abbrevation for context. See also `tcx`, `infcx`, etc. +DefId | an index identifying a definition (see `librustc/hir/def_id.rs`). Uniquely identifies a `DefPath`. +HIR | the High-level IR, created by lowering and desugaring the AST. See `librustc/hir`. +HirId | identifies a particular node in the HIR by combining a def-id with an "intra-definition offset". +'gcx | the lifetime of the global arena (see `librustc/ty`). +generics | the set of generic type parameters defined on a type or item +ICE | internal compiler error. When the compiler crashes. +infcx | the inference context (see `librustc/infer`) +MIR | the Mid-level IR that is created after type-checking for use by borrowck and trans. Defined in the `src/librustc/mir/` module, but much of the code that manipulates it is found in `src/librustc_mir`. +obligation | something that must be proven by the trait system; see `librustc/traits`. +local crate | the crate currently being compiled. +node-id or NodeId | an index identifying a particular node in the AST or HIR; gradually being phased out and replaced with `HirId`. +query | perhaps some sub-computation during compilation; see `librustc/maps`. +provider | the function that executes a query; see `librustc/maps`. +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. +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 `librustc/ty`). +trans | the code to translate MIR into LLVM IR. +trait reference | a trait and values for its type parameters (see `librustc/ty`). +ty | the internal representation of a type (see `librustc/ty`). diff --git a/src/doc/rustc-dev-guide/src/src/SUMMARY.md b/src/doc/rustc-dev-guide/src/src/SUMMARY.md deleted file mode 100644 index 21c87188555..00000000000 --- a/src/doc/rustc-dev-guide/src/src/SUMMARY.md +++ /dev/null @@ -1,19 +0,0 @@ -# Summary - -- [How to build the compiler and run what you built](./chap-010-how-to-build-and-run.md) -- [Using the compiler testing framework](./chap-020-running-tests.md) -- [Walkthrough: a typical contribution](./chap-030-walkthrough.md) -- [Conventions used in the compiler](./chap-040-compiler-conventions.md) -- [The parser](./chap-050-the-parser.md) -- [Macro expansion](./chap-060-macro-expansion.md) -- [Name resolution](./chap-070-name-resolution.md) -- [HIR lowering](./chap-080-hir-lowering.md) -- [Representing types (`ty` module in depth)](./chap-090-ty.md) -- [Type inference](./chap-100-type-inference.md) -- [Trait resolution](./chap-110-trait-resolution.md) -- [Type checking](./chap-120-type-checking.md) -- [MIR construction](./chap-130-mir-construction.md) -- [MIR borrowck](./chap-140-mir-borrowck.md) -- [MIR optimizations](./chap-150-mir-optimizations.md) -- [trans: generating LLVM IR](./chap-160-trans.md) -- [Glossary](./glossary.md) diff --git a/src/doc/rustc-dev-guide/src/src/chap-010-how-to-build-and-run.md b/src/doc/rustc-dev-guide/src/src/chap-010-how-to-build-and-run.md deleted file mode 100644 index 505836094d1..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-010-how-to-build-and-run.md +++ /dev/null @@ -1 +0,0 @@ -# How to build the compiler and run what you built diff --git a/src/doc/rustc-dev-guide/src/src/chap-020-running-tests.md b/src/doc/rustc-dev-guide/src/src/chap-020-running-tests.md deleted file mode 100644 index 02c9de84067..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-020-running-tests.md +++ /dev/null @@ -1 +0,0 @@ -# Using the compiler testing framework diff --git a/src/doc/rustc-dev-guide/src/src/chap-030-walkthrough.md b/src/doc/rustc-dev-guide/src/src/chap-030-walkthrough.md deleted file mode 100644 index ab158177a42..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-030-walkthrough.md +++ /dev/null @@ -1 +0,0 @@ -# Walkthrough: a typical contribution diff --git a/src/doc/rustc-dev-guide/src/src/chap-040-compiler-conventions.md b/src/doc/rustc-dev-guide/src/src/chap-040-compiler-conventions.md deleted file mode 100644 index 314221fa0e5..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-040-compiler-conventions.md +++ /dev/null @@ -1 +0,0 @@ -# Conventions used in the compiler diff --git a/src/doc/rustc-dev-guide/src/src/chap-050-the-parser.md b/src/doc/rustc-dev-guide/src/src/chap-050-the-parser.md deleted file mode 100644 index ab756895ae6..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-050-the-parser.md +++ /dev/null @@ -1 +0,0 @@ -# The parser diff --git a/src/doc/rustc-dev-guide/src/src/chap-060-macro-expansion.md b/src/doc/rustc-dev-guide/src/src/chap-060-macro-expansion.md deleted file mode 100644 index 12b95cb6cb0..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-060-macro-expansion.md +++ /dev/null @@ -1 +0,0 @@ -# Macro expansion diff --git a/src/doc/rustc-dev-guide/src/src/chap-070-name-resolution.md b/src/doc/rustc-dev-guide/src/src/chap-070-name-resolution.md deleted file mode 100644 index 487a31d2c52..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-070-name-resolution.md +++ /dev/null @@ -1 +0,0 @@ -# Name resolution diff --git a/src/doc/rustc-dev-guide/src/src/chap-080-hir-lowering.md b/src/doc/rustc-dev-guide/src/src/chap-080-hir-lowering.md deleted file mode 100644 index b2b6a7cdf8f..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-080-hir-lowering.md +++ /dev/null @@ -1 +0,0 @@ -# HIR lowering diff --git a/src/doc/rustc-dev-guide/src/src/chap-090-ty.md b/src/doc/rustc-dev-guide/src/src/chap-090-ty.md deleted file mode 100644 index 1762ce037fa..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-090-ty.md +++ /dev/null @@ -1 +0,0 @@ -# Representing types (`ty` module in depth) diff --git a/src/doc/rustc-dev-guide/src/src/chap-100-type-inference.md b/src/doc/rustc-dev-guide/src/src/chap-100-type-inference.md deleted file mode 100644 index 0fc99252ab7..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-100-type-inference.md +++ /dev/null @@ -1 +0,0 @@ -# Type inference diff --git a/src/doc/rustc-dev-guide/src/src/chap-110-trait-resolution.md b/src/doc/rustc-dev-guide/src/src/chap-110-trait-resolution.md deleted file mode 100644 index dd16aac62b4..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-110-trait-resolution.md +++ /dev/null @@ -1 +0,0 @@ -# Trait resolution diff --git a/src/doc/rustc-dev-guide/src/src/chap-120-type-checking.md b/src/doc/rustc-dev-guide/src/src/chap-120-type-checking.md deleted file mode 100644 index c559c128360..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-120-type-checking.md +++ /dev/null @@ -1 +0,0 @@ -# Type checking diff --git a/src/doc/rustc-dev-guide/src/src/chap-130-mir-construction.md b/src/doc/rustc-dev-guide/src/src/chap-130-mir-construction.md deleted file mode 100644 index 898fcd529ed..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-130-mir-construction.md +++ /dev/null @@ -1 +0,0 @@ -# MIR construction diff --git a/src/doc/rustc-dev-guide/src/src/chap-140-mir-borrowck.md b/src/doc/rustc-dev-guide/src/src/chap-140-mir-borrowck.md deleted file mode 100644 index 55bc9fc982a..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-140-mir-borrowck.md +++ /dev/null @@ -1 +0,0 @@ -# MIR borrowck diff --git a/src/doc/rustc-dev-guide/src/src/chap-150-mir-optimizations.md b/src/doc/rustc-dev-guide/src/src/chap-150-mir-optimizations.md deleted file mode 100644 index ddafa0c99c3..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-150-mir-optimizations.md +++ /dev/null @@ -1 +0,0 @@ -# MIR optimizations diff --git a/src/doc/rustc-dev-guide/src/src/chap-160-trans.md b/src/doc/rustc-dev-guide/src/src/chap-160-trans.md deleted file mode 100644 index 7092b7a0baf..00000000000 --- a/src/doc/rustc-dev-guide/src/src/chap-160-trans.md +++ /dev/null @@ -1 +0,0 @@ -# trans: generating LLVM IR diff --git a/src/doc/rustc-dev-guide/src/src/glossary.md b/src/doc/rustc-dev-guide/src/src/glossary.md deleted file mode 100644 index b66e17ea3c1..00000000000 --- a/src/doc/rustc-dev-guide/src/src/glossary.md +++ /dev/null @@ -1,31 +0,0 @@ -Glossary --------- - -The compiler uses a number of...idiosyncratic abbreviations and things. This glossary attempts to list them and give you a few pointers for understanding them better. - -Term | Meaning -------------------------|-------- -AST | the abstract syntax tree produced by the syntax crate; reflects user syntax very closely. -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. -cx | we tend to use "cx" as an abbrevation for context. See also `tcx`, `infcx`, etc. -DefId | an index identifying a definition (see `librustc/hir/def_id.rs`). Uniquely identifies a `DefPath`. -HIR | the High-level IR, created by lowering and desugaring the AST. See `librustc/hir`. -HirId | identifies a particular node in the HIR by combining a def-id with an "intra-definition offset". -'gcx | the lifetime of the global arena (see `librustc/ty`). -generics | the set of generic type parameters defined on a type or item -ICE | internal compiler error. When the compiler crashes. -infcx | the inference context (see `librustc/infer`) -MIR | the Mid-level IR that is created after type-checking for use by borrowck and trans. Defined in the `src/librustc/mir/` module, but much of the code that manipulates it is found in `src/librustc_mir`. -obligation | something that must be proven by the trait system; see `librustc/traits`. -local crate | the crate currently being compiled. -node-id or NodeId | an index identifying a particular node in the AST or HIR; gradually being phased out and replaced with `HirId`. -query | perhaps some sub-computation during compilation; see `librustc/maps`. -provider | the function that executes a query; see `librustc/maps`. -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. -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 `librustc/ty`). -trans | the code to translate MIR into LLVM IR. -trait reference | a trait and values for its type parameters (see `librustc/ty`). -ty | the internal representation of a type (see `librustc/ty`). -- cgit 1.4.1-3-g733a5