Skip to content

Commit f601a3a

Browse files
committed
Updating links to match latest code
1 parent b9eb2b6 commit f601a3a

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

src/chalk-overview.md

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -115,9 +115,9 @@ The `ir::ProgramEnvironment` is created [in this module][rules-environment].
115115

116116
## Testing
117117

118-
TODO: Basically, [there is a macro](https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/solve/test/mod.rs#L112-L148)
118+
TODO: Basically, [there is a macro](https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/solve/test.rs#L112-L148)
119119
that will take syntax and run it through the full pipeline described above.
120-
[This](https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/solve/test/mod.rs#L83-L110)
120+
[This](https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/solve/test.rs#L83-L110)
121121
is the function that is ultimately called.
122122

123123
## Solver
@@ -131,11 +131,11 @@ See [The SLG Solver][slg].
131131
[chalk-ast]: https://github.com/rust-lang-nursery/chalk/blob/master/chalk-parse/src/ast.rs
132132
[universal quantification]: https://en.wikipedia.org/wiki/Universal_quantification
133133
[lowering-forall]: https://rust-lang-nursery.github.io/rustc-guide/traits-lowering-to-logic.html#type-checking-generic-functions-beyond-horn-clauses
134-
[programclause]: https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/ir/mod.rs#L721
134+
[programclause]: https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/ir.rs#L721
135135
[clause]: https://github.com/rust-lang-nursery/chalk/blob/master/GLOSSARY.md#clause
136-
[well-formedness-checks]: https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/ir/lowering/mod.rs#L230-L232
137-
[ir-code]: https://github.com/rust-lang-nursery/chalk/blob/master/src/ir/mod.rs
136+
[well-formedness-checks]: https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/ir/lowering.rs#L230-L232
137+
[ir-code]: https://github.com/rust-lang-nursery/chalk/blob/master/src/ir.rs
138138
[HIR]: hir.html
139-
[binders-struct]: https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/ir/mod.rs#L661
140-
[rules-environment]: https://github.com/rust-lang-nursery/chalk/blob/17abbabe53c2f78b04af04a9bc9e8a0e3fc676e3/src/rules/mod.rs#L9
139+
[binders-struct]: https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/ir.rs#L661
140+
[rules-environment]: https://github.com/rust-lang-nursery/chalk/blob/94a1941a021842a5fcb35cd043145c8faae59f08/src/rules.rs#L9
141141
[slg]: traits-slg.html

0 commit comments

Comments
 (0)