Tyler Mandry
67c488d208
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
66e0b6e8c3
Move Resources to bottom
2018-10-29 22:27:26 -05:00
Tyler Mandry
3c53bbeb1a
Add section on chalk structure
2018-10-29 22:16:17 -05:00
Tyler Mandry
cfbb0a677e
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
4073cf3d40
Get excited
2018-10-26 13:43:31 -05:00
Tyler Mandry
6c6caec5b3
Add status of regions
2018-10-26 13:43:31 -05:00
Tyler Mandry
83cc11c679
Associated types: Break up text for readability
2018-10-26 13:43:31 -05:00
Tyler Mandry
29b57a01c4
Associated types: Mention "lazy normalization" somewhere
2018-10-26 13:43:31 -05:00
Tyler Mandry
c81ea65b5b
Traits: Improve index layout, add chalk blurb
2018-10-26 13:43:31 -05:00
Tyler Mandry
ebb6aff2f6
Reflect traits chapter structure in index key ideas
2018-10-26 11:09:46 -05:00
Tyler Mandry
283b8a5da8
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
9e4ed397f2
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?!
5792451902
Update src/traits/caching.md
...
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?!
e829263349
Update src/traits/hrtb.md
...
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?!
730d1a60d6
Update src/borrow_check/region_inference.md
...
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
Who? Me?!
8acc12f57c
Update src/borrow_check/region_inference.md
...
Co-Authored-By: csmoe <csmoe@msn.com>
2018-10-24 23:22:17 -05:00
csmoe
4f32b55424
replace bound region with placeholder
2018-10-24 23:22:17 -05:00
csmoe
244a3fe47f
clean up skolemiza in traits
2018-10-24 23:22:17 -05:00
csmoe
04bb8d65f4
clean up skolemiza in borrow_ck
2018-10-24 23:22:17 -05:00
csmoe
3a1ba5c652
clean up skolemiza in glossary
2018-10-24 23:22:17 -05:00
Rajkumar Natarajan
a15bfaba5e
issue_100_4 Updated the rustc documentation location
2018-10-24 19:32:09 -05:00
Who? Me?!
d40622447e
Add a note on bisecting
2018-10-23 16:27:58 -05:00
scalexm
70bc5da589
Clarify wording
2018-10-22 12:18:04 -05:00
Who? Me?!
9ae0cba39f
Fix typos and punctuation
...
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:18:04 -05:00
scalexm
ef4f1414c2
Write implied bounds chapter
2018-10-22 12:18:04 -05:00
scalexm
76027767ec
Change wording
2018-10-22 12:14:46 -05:00
Who? Me?!
cafa8d8198
Fix typo
...
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
Who? Me?!
a041e9d1ee
Add an apostrophe
...
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-22 12:14:46 -05:00
scalexm
7b81c74670
Polish lowering chapters and update rules
2018-10-22 12:14:46 -05:00
Who? Me?!
dfa7d83a38
Fix typo
2018-10-19 23:03:00 -05:00
Collins Abitekaniza
829028c03a
fix typo in build instructions
2018-10-19 21:37:01 -05:00
mark
427c5bf004
Update a few parts of the readme
2018-10-13 11:35:53 -05:00
Rajkumar Natarajan
12e5802e08
updated with review comments
2018-09-29 08:50:30 -05:00
Rajkumar Natarajan
5ad3ed30bd
issue-130 updated the review comments
2018-09-29 08:50:30 -05:00
Rajkumar Natarajan
8708c9b459
issue-130 incorporate the review comments
2018-09-29 08:50:30 -05:00
Rajkumar Natarajan
93da487d8f
issue-130 copy contents related x.py from rust-forge
2018-09-29 08:50:30 -05:00
David Sanders
1b8804a2ce
Typo nits #181 ( #205 )
2018-09-28 20:47:52 -05:00
Alcaro
27c18dc09b
conventions: Fix semicolon/colon typo
2018-09-28 20:04:05 -05:00
Tom Tromey
13a681629b
Document no-system-llvm
2018-09-28 13:00:41 -05:00
Mark Mansi
903991edce
use the right version of mdbook linkcheck
2018-09-21 15:54:25 -05:00
Mark Mansi
6022a84bd2
Fix all the links!
2018-09-21 15:54:25 -05:00
Mark Mansi
6d54b23c44
don't check crates.io links
2018-09-21 15:54:25 -05:00
Mark Mansi
eddef1d97b
fix the last link
2018-09-21 15:54:25 -05:00
Mark Mansi
fcccfa8059
check web links
2018-09-21 15:54:25 -05:00
Mark Mansi
04589fcbdc
update readme
2018-09-21 15:54:25 -05:00
Mark Mansi
863f90a27d
use new mdbook-linkcheck version
2018-09-21 15:54:25 -05:00
Mark Mansi
beceb036c0
Fix all the links to be relative for mdbook 2
2018-09-21 15:54:25 -05:00
Mark Mansi
a99929a4d0
update readme with mdbook version
2018-09-21 15:54:25 -05:00
Mark Mansi
131262f749
use mdbook 0.2
2018-09-21 15:54:25 -05:00
Philipp Hansch
0460a76b78
Fix line lengths
2018-09-12 07:33:41 +02:00
