mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Fixed broken chalk links

This commit is contained in:
Iñaki Garay 2019-04-25 19:24:36 -03:00 committed by Who? Me?!
parent bebe83732f
commit b9a6642e6c
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/traits/lowering-rules.md
View File

@ -28,10 +28,10 @@ comment like so:
// Rule Foo-Bar-Baz
The reference implementation of these rules is to be found in
[`chalk/chalk-rules/src/clauses.rs`][chalk_rules]. They are also ported in
[`chalk/chalk-solve/src/clauses.rs`][chalk_rules]. They are also ported in
rustc in the [`librustc_traits`][librustc_traits] crate.
[chalk_rules]: https://github.com/rust-lang/chalk/blob/master/chalk-rules/src/clauses.rs
[chalk_rules]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/clauses.rs
[librustc_traits]: https://github.com/rust-lang/rust/tree/master/src/librustc_traits
## Lowering where clauses

4
src/traits/wf.md
View File

@ -11,13 +11,13 @@ to prove it using the lowered rules we described in the
[lowering rules](./lowering-rules.md) chapter. If we are able to prove it, we
say that the construct is well-formed. If not, we report an error to the user.
Well-formedness checking happens in the [`chalk/chalk-rules/src/wf.rs`][wf]
Well-formedness checking happens in the [`chalk/chalk-solve/src/wf.rs`][wf]
module in chalk. After you have read this chapter, you may find useful to see
an extended set of examples in the [`chalk/src/test/wf.rs`][wf_test] submodule.
The new-style WF checking has not been implemented in rustc yet.
[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-rules/src/wf.rs
[wf]: https://github.com/rust-lang/chalk/blob/master/chalk-solve/src/wf.rs
[wf_test]: https://github.com/rust-lang/chalk/blob/master/src/test/wf.rs
We give here a complete reference of the generated goals for each Rust