From 75a5f9236c689a547fe207a10854f0775bce7937 Mon Sep 17 00:00:00 2001 From: Mark Mansi Date: Fri, 8 Nov 2019 10:31:12 -0600 Subject: [PATCH] Fix chalk links --- src/traits/chalk-overview.md | 6 +++--- src/traits/wf.md | 4 ++-- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/src/traits/chalk-overview.md b/src/traits/chalk-overview.md index a2993991..0f102d4d 100644 --- a/src/traits/chalk-overview.md +++ b/src/traits/chalk-overview.md @@ -230,7 +230,7 @@ Likewise, lowering tests use the [`lowering_success!` and [universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification [`ProgramClause`]: https://rust-lang.github.io/chalk/chalk_ir/enum.ProgramClause.html -[`ProgramEnvironment`]: https://rust-lang.github.io/chalk/chalk/program_environment/struct.ProgramEnvironment.html +[`ProgramEnvironment`]: https://rust-lang.github.io/chalk/chalk_integration/program_environment/struct.ProgramEnvironment.html [chalk_engine]: https://rust-lang.github.io/chalk/chalk_engine [chalk_ir]: https://rust-lang.github.io/chalk/chalk_ir/index.html [chalk_parse]: https://rust-lang.github.io/chalk/chalk_parse/index.html @@ -238,7 +238,7 @@ Likewise, lowering tests use the [`lowering_success!` and [chalk_rust_ir]: https://rust-lang.github.io/chalk/chalk_rust_ir/index.html [doc-chalk]: https://rust-lang.github.io/chalk/chalk/index.html [engine-context]: https://rust-lang.github.io/chalk/chalk_engine/context/index.html -[chalk-program]: https://rust-lang.github.io/chalk/chalk/program/struct.Program.html +[chalk-program]: https://rust-lang.github.io/chalk/chalk_integration/program/struct.Program.html [binders-struct]: https://rust-lang.github.io/chalk/chalk_ir/struct.Binders.html [chalk-ast]: https://rust-lang.github.io/chalk/chalk_parse/ast/index.html @@ -246,7 +246,7 @@ Likewise, lowering tests use the [`lowering_success!` and [chalk-test-lowering-example]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs#L8-L31 [chalk-test-lowering]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rust_ir/lowering/test.rs [chalk-test-wf]: https://github.com/rust-lang/chalk/blob/4bce000801de31bf45c02f742a5fce335c9f035f/src/rules/wf/test.rs#L1 -[chalki]: https://rust-lang.github.io/chalk/chalki/index.html +[chalki]: https://github.com/rust-lang/chalk/blob/master/src/main.rs [clause]: https://github.com/rust-lang/chalk/blob/master/GLOSSARY.md#clause [coherence-src]: https://rust-lang.github.io/chalk/chalk_solve/coherence/index.html [ir-code]: https://rust-lang.github.io/chalk/chalk_rust_ir/ diff --git a/src/traits/wf.md b/src/traits/wf.md index a6981bf4..aa17f8c2 100644 --- a/src/traits/wf.md +++ b/src/traits/wf.md @@ -13,12 +13,12 @@ say that the construct is well-formed. If not, we report an error to the user. 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. +an extended set of examples in the [`chalk/tests/test/wf_lowering.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-solve/src/wf.rs -[wf_test]: https://github.com/rust-lang/chalk/blob/master/src/test/wf_lowering.rs +[wf_test]: https://github.com/rust-lang/chalk/blob/master/tests/test/wf_lowering.rs We give here a complete reference of the generated goals for each Rust declaration.