Commit Graph

443 Commits

Author SHA1 Message Date
Tyler Mandry b5024c3a73 Chalk Overview: Update old content 2018-10-30 18:06:25 -05:00
Tyler Mandry d2238c30b7 Move Crates section down
Nest existing content under Chalk Structure. I think it reads better
this way.
2018-10-29 22:34:23 -05:00
Tyler Mandry b62fe76a35 Move Resources to bottom 2018-10-29 22:27:26 -05:00
Tyler Mandry 90716dc9da Add section on chalk structure 2018-10-29 22:16:17 -05:00
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
Niko Matsakis e9685d6bc6
Merge pull request #208 from rust-lang-nursery/readme
Update a few parts of the readme
2018-10-15 13:17:04 -04:00
mark 7cf032f9ec Update a few parts of the readme 2018-10-13 11:35:53 -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 766a5e354d use the right version of mdbook linkcheck 2018-09-21 15:54:25 -05:00
Mark Mansi 9297caaac3 Fix all the links! 2018-09-21 15:54:25 -05:00
Mark Mansi ac194d428a don't check crates.io 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 32c6280c71 check web links 2018-09-21 15:54:25 -05:00
Mark Mansi f013b867c5 update readme 2018-09-21 15:54:25 -05:00
Mark Mansi ba5c94015d use new mdbook-linkcheck version 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
Mark Mansi 5e7d9f6b42 update readme with mdbook version 2018-09-21 15:54:25 -05:00