Commit Graph

49 Commits

Author SHA1 Message Date
Who? Me?! caac584a9e
Add a bit about various type system concepts (#697)
* add a bit on dataflow analysis

* add a bit on quanitification

* add a bit on debruijn index

* add a bit on early and late bound params

* add missing link

* Typos

Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>

* clarify dataflow example

* fix formatting

* fix typos

* Typos

Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>

* fix errors in background

* remove dup material and make early/late intro short

* adjust intro

* Niko's intro

Co-authored-by: Niko Matsakis <niko@alum.mit.edu>

Co-authored-by: Tshepang Lekhonkhobe <tshepang@gmail.com>
Co-authored-by: Niko Matsakis <niko@alum.mit.edu>
2020-06-05 13:11:09 -03:00
LeSeulArtichaut aca2a716ea Apply suggestions from code review
Co-authored-by: Who? Me?! <mark-i-m@users.noreply.github.com>
2020-05-27 15:17:33 -05:00
LeSeulArtichaut 54d64bd8ac Fix typo
Co-authored-by: Yuki Okushi <huyuumi.dev@gmail.com>
2020-05-27 15:17:33 -05:00
LeSeulArtichaut 8bb723c673 Add definition of `niche` to the glossary 2020-05-27 15:17:33 -05:00
Paul Daniel Faria 59c9fa7b3e
Fix BodyId link typo in glossary (#709)
* Fix BodyId link typo in glossary

* Fix broken link to rustc_middle's Predicate
2020-05-23 16:25:53 -04:00
Tshepang Lekhonkhobe 8e126df6fe Update src/appendix/glossary.md
Co-authored-by: Who? Me?! <mark-i-m@users.noreply.github.com>
2020-05-11 23:52:00 +02:00
Tshepang Lekhonkhobe d7649f4b44 glossary: make soundness definition more readable 2020-05-11 23:52:00 +02:00
Tshepang Lekhonkhobe 1caba74063
glossary: intro feels like not adding much (#699) 2020-05-11 07:57:46 +02:00
Charles Lew d79227e453 Address review comments. 2020-04-25 06:57:48 -05:00
Charles Lew cbbe9b423f Fix links and CI error. 2020-04-25 06:57:48 -05:00
mark ae4e472959 add intrinsics to glossary 2020-04-18 11:11:33 -05:00
Paul Daniel Faria c33f0c6158 Remove duplicate trait reference entry from glossary, fix alphabetical sorting 2020-04-06 10:41:28 -05:00
Paul Daniel Faria 6e91f8d0e9 Add ids to all glossary items, make existing glossary links point to glossary, add links for def id in query.md 2020-04-05 12:46:22 -05:00
Paul Daniel Faria e1301ac847
Add BodyId to glossary, and links for ids to HIR identifiers section (#660) 2020-04-03 19:22:08 +02:00
LeSeulArtichaut 83cd94ed2b Rename `librustc` to `librustc_middle` 2020-03-31 15:43:14 -05:00
Tshepang Lekhonkhobe 3cc54f2194
glossary: misc improvements (#638) 2020-03-28 21:29:57 +02:00
Mark Mansi 83f0ba422a update backend chapters from nagisa's notes 2020-03-12 14:11:01 -05:00
Mark Mansi 1f4d07155e monomorphization chapter 2020-03-12 14:11:01 -05:00
LeSeulArtichaut 3751350235
Get rid of references to the refractored `libsyntax` crate (#598)
* Get rid of references to the refractored `libsyntax` crate

* Apply suggestions from code review

Co-authored-by: Yuki Okushi <huyuumi.dev@gmail.com>
2020-03-03 04:41:41 +09:00
Mark Mansi 31304c075f update glossary 2020-02-20 16:01:35 -06:00
Santiago Pastorino b3aa636dc2 Minor mir chapter fixes 2019-11-20 08:00:49 -06:00
Mark Mansi 692ac4df9f add oli note 2019-11-14 13:08:20 -06:00
Eric Huss d3bfd4ad13 Fix some broken fragment links. 2019-11-05 11:35:34 -06:00
Tshepang Lekhonkhobe fbe1a9a0c2 codegen unit is aka CGU (#459) 2019-10-02 13:25:14 -03:00
Brian Foley b4b7dca0d2 Fix miscellaneous spelling typos. (#397) 2019-07-25 19:25:26 -03:00
Niko Matsakis ed95356868 add `point` to the glossary and link a use of it 2019-06-26 11:05:58 -05:00
Mark Mansi f55e97c145 fix typos 2019-06-15 17:29:12 -05:00
Eduard-Mihai Burtescu f675e36941 Update for TyCtxt<'a, 'gcx, 'tcx> -> TyCtxt<'tcx>. 2019-06-15 16:58:30 -05:00
Alexander Regueiro 10fb45ee27 Small clarifications to glossary definitions 2019-02-18 20:14:41 -06:00
varkor de2ab38ddb Add "drop glue" to the glossary 2019-02-18 12:34:28 -06:00
varkor f420e427c7 Add "memoise" to the glossary 2019-02-18 12:34:28 -06:00
varkor 50bcd366db Add "intern" to the glossary 2019-02-18 12:34:28 -06:00
varkor ee661e8d61 Add "early-bound lifetime" and "late-bound lifetime" to the glossary 2019-02-18 12:34:28 -06:00
varkor 7ef92b9bb6 Add "item" to glossary 2019-02-18 12:34:28 -06:00
varkor d94a06dd52 Add "lang item" to glossary 2019-02-18 12:34:28 -06:00
Michael Woerister 0ffc56b3a3
Merge pull request #270 from michaelwoerister/query-eval-model-update
Add "The Query Evaluation Model in Detail" and "Incremental Compilation In Detail" chapters.
2019-01-30 13:30:48 +01:00
Michael Woerister 808a9a1756 Add a more detailed description of how incremental compilation works. 2019-01-30 13:13:16 +01:00
Who? Me?! ae6381c6d7
Fix relative link 2019-01-18 14:09:30 -06:00
Philipp Hansch 615cf17b6f Add IRLO to glossary
Someone was asking on Discord what it stands for. It's sometimes used in
GitHub issues, Twitter and other places.
2019-01-01 09:45:12 -06:00
csmoe 695728741e replace bound region with placeholder 2018-10-24 23:22:17 -05:00
csmoe 8759055876 clean up skolemiza in glossary 2018-10-24 23:22:17 -05:00
Mark Mansi 5ca9b3b326 Fix all the links to be relative for mdbook 2 2018-09-21 15:54:25 -05:00
Philipp Hansch c4ac71e1d0
Fix typos
These were fixed using [codespell](https://github.com/codespell-project/codespell).
2018-09-12 07:32:18 +02:00
Niko Matsakis d2cecbf3cd fix glossary links 2018-09-11 16:31:47 -04:00
Alex Kitchens 37872481ac Keep glossary definition of codegen 2018-06-26 19:04:30 -05:00
Alex Kitchens ec8d0498d6 Rename trans to codegen
This commit is a followup of changes from [b63d7e2b1c4019e40051036bcb1fd5f254a8f6e2](b63d7e2b1c (diff-b433c87466d984aa7eeded378ea6c392)) in the Rust source to rename trans to codegen.
2018-06-26 19:04:30 -05:00
Mark Mansi 4a8412f3af add a bunch of type-related terms to glossary 2018-06-04 19:42:16 -05:00
Mark Mansi c0851bc66e fix remaining links 2018-06-02 17:20:47 -04:00
Mark Mansi 1af6fcfc67 move appendix 2018-06-02 17:20:47 -04:00