Tyler Mandry
69d42aa4ce
SLG: Add intro
2018-11-04 09:38:56 -06:00
Niko Matsakis
505c99f080
Merge pull request #222 from scalexm/wf
...
Write well-formedness checking chapter
2018-11-03 06:28:36 -04:00
Tyler Mandry
76a2c5eb86
Copy chalk_engine README
2018-11-02 16:20:56 -05:00
scalexm
cbb021e93f
Fix nits
2018-11-02 21:50:36 +01:00
Niko Matsakis
9fe13e7182
Merge pull request #223 from tmandry/improve-chalk-overview
...
Update chalk overview
2018-11-02 15:55:51 -04:00
Who? Me?!
9805434b94
Clarify why 'static is free
2018-10-31 20:44:30 -05:00
Who? Me?!
66e831eeb0
Missing link
2018-10-31 20:43:46 -05:00
Tyler Mandry
cf2682ae86
Chalk Overview: Fill in testing section
2018-10-30 18:06:31 -05:00
Tyler Mandry
7f14c8254e
Chalk Overview: Organize and sort links
2018-10-30 18:06:31 -05:00
Tyler Mandry
b5024c3a73
Chalk Overview: Update old content
2018-10-30 18:06:25 -05:00
Tyler Mandry
fe9dc61b89
Fix a few more things
...
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-30 22:15:22 +01: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
Who? Me?!
e20f283a1e
Fix a few things
...
Co-Authored-By: scalexm <alexandre@scalexm.fr>
2018-10-29 22:43:44 +01:00
scalexm
83652097f3
Fix code blocks
2018-10-29 18:58:13 +01:00
scalexm
b5dff2ed5f
Add some examples for impls
2018-10-29 16:18:26 +01:00
scalexm
462b7c3558
Write well-formedness checking chapter
2018-10-29 14:38:17 +01:00
Tom Tromey
34af41dddb
Document the rust-lldb directive
...
Commit ac33b2e578de58016271012452e4f1be6af9d516 added a `rust-lldb`
directive to restrict the lldb part of a debuginfo test to only
versions of lldb that include the Rust plugin.
2018-10-26 18:23:38 -05:00
Niko Matsakis
62e7f158ac
Merge pull request #219 from tmandry/reorg-traits
...
Traits chapter cleanup
2018-10-26 15:06:54 -04: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