Commit Graph

368 Commits

Author SHA1 Message Date
Tyler Mandry 74e2af231b Put "well-formedness checking" under "lowering rules"
This was also intended to be a reference chapter, according to @scalexm.
2018-10-26 13:43:31 -05:00
Tyler Mandry 2de4dc7a12 Get excited 2018-10-26 13:43:31 -05:00
Tyler Mandry c41019adda Add status of regions 2018-10-26 13:43:31 -05:00
Tyler Mandry fbb3ec6744 Associated types: Break up text for readability 2018-10-26 13:43:31 -05:00
Tyler Mandry 99a23f84a7 Associated types: Mention "lazy normalization" somewhere 2018-10-26 13:43:31 -05:00
Tyler Mandry c4708f8039 Traits: Improve index layout, add chalk blurb 2018-10-26 13:43:31 -05:00
Tyler Mandry 9ae8422607 Reflect traits chapter structure in index key ideas 2018-10-26 11:09:46 -05:00
Tyler Mandry 5c67241e1a Group logic-related things under one section
I found the layout to be a bit inconsistent before. This groups anything
that touches logic rules under "Lowering to logic".

This might be crowding too many things under that section, but it makes
more sense to me overall.
2018-10-26 11:09:46 -05:00
Nikita Popov 34c9d3fc77 Update TypeVariants to TyKind
This has been renamed in https://github.com/rust-lang/rust/pull/53581.
2018-10-26 11:05:19 -05:00
Who? Me?! 4196710286 Update src/traits/caching.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! e35e081b52 Update src/traits/hrtb.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! bd8d3f5f30 Update src/borrow_check/region_inference.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! 8cbf135744 Update src/borrow_check/region_inference.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
csmoe 695728741e replace bound region with placeholder 2018-10-24 23:22:17 -05:00
csmoe 294fcd31ac clean up skolemiza in traits 2018-10-24 23:22:17 -05:00
csmoe a07a6de51d clean up skolemiza in borrow_ck 2018-10-24 23:22:17 -05:00
csmoe 8759055876 clean up skolemiza in glossary 2018-10-24 23:22:17 -05:00
Rajkumar Natarajan 607a58f8d2 issue_100_4 Updated the rustc documentation location 2018-10-24 19:32:09 -05:00
Who? Me?! 2fd124856d Add a note on bisecting 2018-10-23 16:27:58 -05:00
scalexm 39cdd4f920 Clarify wording 2018-10-22 12:18:04 -05:00
Who? Me?! 2b8f3d40e1 Fix typos and punctuation
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:18:04 -05:00
scalexm 2df0fcfdfb Write implied bounds chapter 2018-10-22 12:18:04 -05:00
scalexm dfa38e973e Change wording 2018-10-22 12:14:46 -05:00
Who? Me?! ab89ea2446 Fix typo
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
Who? Me?! 07bf5e332b Add an apostrophe
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
scalexm 3db38fe7f3 Polish lowering chapters and update rules 2018-10-22 12:14:46 -05:00
Who? Me?! 4aeae78bdb Fix typo 2018-10-19 23:03:00 -05:00
Collins Abitekaniza a01aa11b7b fix typo in build instructions 2018-10-19 21:37:01 -05:00
Rajkumar Natarajan ceff08f6b3 updated with review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan 61cadd2097 issue-130 updated the review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan 062e158a67 issue-130 incorporate the review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan 0f65024f26 issue-130 copy contents related x.py from rust-forge 2018-09-29 08:50:30 -05:00
David Sanders d3b0eaed01 Typo nits #181 (#205) 2018-09-28 20:47:52 -05:00
Alcaro 946e11a578 conventions: Fix semicolon/colon typo 2018-09-28 20:04:05 -05:00
Tom Tromey 8871bd77b9 Document no-system-llvm 2018-09-28 13:00:41 -05:00
Mark Mansi 9297caaac3 Fix all the links! 2018-09-21 15:54:25 -05:00
Mark Mansi d36f89182d fix the last link 2018-09-21 15:54:25 -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 5ec3e1a620
Fix line lengths 2018-09-12 07:33:41 +02: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 a6284183f8 ignore various sample tests 2018-09-11 16:43:36 -04:00
Niko Matsakis d2cecbf3cd fix glossary links 2018-09-11 16:31:47 -04:00
Niko Matsakis 87382baca6 address nits 2018-09-11 16:31:47 -04:00
Niko Matsakis d453faee7a add content 2018-09-11 16:31:47 -04:00
Niko Matsakis 0ab21a2aa5 rearrange to promote the borrow checker into its own section 2018-09-11 16:31:47 -04:00
Niko Matsakis b655878d2c wrap lines in `running.md` 2018-09-11 16:22:15 -04:00
Niko Matsakis 69cdc0a77e wrap long lines 2018-09-11 12:02:58 -04:00
Niko Matsakis 4490acdbe6 remove silly `note:` 2018-09-11 12:02:58 -04:00
Niko Matsakis 576581da0d fix some more typos 2018-09-11 12:02:58 -04:00
Niko Matsakis 8cbf9d0b01 fix typo, add link 2018-09-11 12:02:58 -04:00