From b4c721203dc5efc5338be2038b4a47efba7054aa Mon Sep 17 00:00:00 2001 From: Mcat12 Date: Thu, 30 Apr 2020 14:12:11 -0400 Subject: [PATCH] Fix broken links in "What is Chalk?" and "Walkthrough" --- book/src/what_is_chalk.md | 2 ++ book/src/what_is_chalk/walkthrough.md | 2 +- 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/book/src/what_is_chalk.md b/book/src/what_is_chalk.md index 2b1ea466092..554ff25f16f 100644 --- a/book/src/what_is_chalk.md +++ b/book/src/what_is_chalk.md @@ -11,6 +11,8 @@ full specification. It is also meant to be an independent library that can be integrated both into the main rustc compiler and also other programs and contexts. +[rustc-issues]: https://github.com/rust-lang/rustc-dev-guide/issues + ## High-level view of how chalk works ```mermaid diff --git a/book/src/what_is_chalk/walkthrough.md b/book/src/what_is_chalk/walkthrough.md index 6c30e901f9b..31c931065e6 100644 --- a/book/src/what_is_chalk/walkthrough.md +++ b/book/src/what_is_chalk/walkthrough.md @@ -183,12 +183,12 @@ Likewise, lowering tests use the [`lowering_success!` and [goals-and-clauses]: /clauses/goals_and_clauses.html [HIR]: https://rustc-dev-guide.rust-lang.org/hir.html [lowering-forall]: /clauses.html#type-checking-generic-functions-beyond-horn-clauses +[lowering-rules]: /clauses/lowering_rules.html [slg]: /engine/slg.html [wf-checking]: /clauses/wf.html [ast]: https://en.wikipedia.org/wiki/Abstract_syntax_tree [chalk]: https://github.com/rust-lang/chalk -[rustc-issues]: https://github.com/rust-lang/rustc-dev-guide/issues [universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification [`ProgramClause`]: https://rust-lang.github.io/chalk/chalk_ir/struct.ProgramClause.html