Commit Graph

369 Commits

Author SHA1 Message Date
Tyler Mandry 1ea546df15 Add section on chalk structure 2018-10-29 22:16:17 -05:00
Tyler Mandry 910326f2a9 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 be6613169a Get excited 2018-10-26 13:43:31 -05:00
Tyler Mandry 20d244d326 Add status of regions 2018-10-26 13:43:31 -05:00
Tyler Mandry fe76ff64ae Associated types: Break up text for readability 2018-10-26 13:43:31 -05:00
Tyler Mandry 9f5428144f Associated types: Mention "lazy normalization" somewhere 2018-10-26 13:43:31 -05:00
Tyler Mandry e6ca31cb00 Traits: Improve index layout, add chalk blurb 2018-10-26 13:43:31 -05:00
Tyler Mandry af51d27eac Reflect traits chapter structure in index key ideas 2018-10-26 11:09:46 -05:00
Tyler Mandry 63b30cc5c2 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 0fa9487b4f 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?! 438e686c7c Update src/traits/caching.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! c9229c1c84 Update src/traits/hrtb.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! cb7e82cabd Update src/borrow_check/region_inference.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?! 52033755c3 Update src/borrow_check/region_inference.md
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
csmoe 68d30b64cf replace bound region with placeholder 2018-10-24 23:22:17 -05:00
csmoe e4df53b93d clean up skolemiza in traits 2018-10-24 23:22:17 -05:00
csmoe 3c318049dc clean up skolemiza in borrow_ck 2018-10-24 23:22:17 -05:00
csmoe f177b07847 clean up skolemiza in glossary 2018-10-24 23:22:17 -05:00
Rajkumar Natarajan fb6066b188 issue_100_4 Updated the rustc documentation location 2018-10-24 19:32:09 -05:00
Who? Me?! 9a741d13b9 Add a note on bisecting 2018-10-23 16:27:58 -05:00
scalexm 8a533773d4 Clarify wording 2018-10-22 12:18:04 -05:00
Who? Me?! 59eb0f085c Fix typos and punctuation
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:18:04 -05:00
scalexm 0e032c2870 Write implied bounds chapter 2018-10-22 12:18:04 -05:00
scalexm 7117abcc53 Change wording 2018-10-22 12:14:46 -05:00
Who? Me?! 688c00f9ff Fix typo
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
Who? Me?! e38936af44 Add an apostrophe
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
scalexm cd3afd5ed6 Polish lowering chapters and update rules 2018-10-22 12:14:46 -05:00
Who? Me?! 70b91d54a5 Fix typo 2018-10-19 23:03:00 -05:00
Collins Abitekaniza 4aba655b92 fix typo in build instructions 2018-10-19 21:37:01 -05:00
Rajkumar Natarajan 4b8ba80e57 updated with review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan e2d42fd84c issue-130 updated the review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan 497925ada7 issue-130 incorporate the review comments 2018-09-29 08:50:30 -05:00
Rajkumar Natarajan df96e80e0d issue-130 copy contents related x.py from rust-forge 2018-09-29 08:50:30 -05:00
David Sanders 8f85624f2b Typo nits #181 (#205) 2018-09-28 20:47:52 -05:00
Alcaro b9d3a71115 conventions: Fix semicolon/colon typo 2018-09-28 20:04:05 -05:00
Tom Tromey ddde77fd15 Document no-system-llvm 2018-09-28 13:00:41 -05:00
Mark Mansi 58981d7649 Fix all the links! 2018-09-21 15:54:25 -05:00
Mark Mansi 254e3c73d1 fix the last link 2018-09-21 15:54:25 -05:00
Mark Mansi 0ccae015cb Fix all the links to be relative for mdbook 2 2018-09-21 15:54:25 -05:00
Philipp Hansch 528783be87 Fix line lengths 2018-09-12 07:33:41 +02:00
Philipp Hansch 32abc8af93 Fix typos
These were fixed using [codespell](https://github.com/codespell-project/codespell).
2018-09-12 07:32:18 +02:00
Niko Matsakis c749bb2272 ignore various sample tests 2018-09-11 16:43:36 -04:00
Niko Matsakis 83ef63b957 fix glossary links 2018-09-11 16:31:47 -04:00
Niko Matsakis 2ec5fadf5e address nits 2018-09-11 16:31:47 -04:00
Niko Matsakis b92a92507f add content 2018-09-11 16:31:47 -04:00
Niko Matsakis 363ae64a2f rearrange to promote the borrow checker into its own section 2018-09-11 16:31:47 -04:00
Niko Matsakis ca8c8774ef wrap lines in `running.md` 2018-09-11 16:22:15 -04:00
Niko Matsakis a9dab83da1 wrap long lines 2018-09-11 12:02:58 -04:00
Niko Matsakis 016d366203 remove silly `note:` 2018-09-11 12:02:58 -04:00
Niko Matsakis b7976f5db2 fix some more typos 2018-09-11 12:02:58 -04:00