Skip to content

Commit 9ce7b6a

Browse files
authored
Merge pull request #209 from taiki-e/update-links
Update some links
2 parents 819b54c + 1bd0520 commit 9ce7b6a

File tree

11 files changed

+12
-12
lines changed

11 files changed

+12
-12
lines changed

Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.1.0"
44
description = "Model of the Rust trait system"
55
license = "Apache-2.0/MIT"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010
edition = "2018"

README.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
[![Build Status](https://travis-ci.org/rust-lang-nursery/chalk.svg?branch=master)](https://travis-ci.org/rust-lang-nursery/chalk)
1+
[![Build Status](https://travis-ci.com/rust-lang/chalk.svg?branch=master)](https://travis-ci.com/rust-lang/chalk)
22

33
# chalk
44

chalk-engine/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.9.0"
44
description = "Core trait engine from Chalk project"
55
license = "Apache-2.0/MIT"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010
edition = "2018"

chalk-engine/src/context.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -48,7 +48,7 @@ pub trait Context: Clone + Debug {
4848
/// free inference variables have been bound into the canonical
4949
/// binder. See [the rustc-guide] for more information.
5050
///
51-
/// [the rustc-guide]: https://rust-lang-nursery.github.io/rustc-guide/traits-canonicalization.html
51+
/// [the rustc-guide]: https://rust-lang.github.io/rustc-guide/traits/canonicalization.html
5252
type CanonicalGoalInEnvironment: Debug;
5353

5454
/// A u-canonicalized `GoalInEnvironment` -- this is one where the
@@ -64,7 +64,7 @@ pub trait Context: Clone + Debug {
6464
/// Part of an answer: represents a canonicalized substitution,
6565
/// combined with region constraints. See [the rustc-guide] for more information.
6666
///
67-
/// [the rustc-guide]: https://rust-lang-nursery.github.io/rustc-guide/traits-canonicalization.html#canonicalizing-the-query-result
67+
/// [the rustc-guide]: https://rust-lang.github.io/rustc-guide/traits/canonicalization.html#canonicalizing-the-query-result
6868
type CanonicalConstrainedSubst: Clone + Debug + Eq + Hash;
6969

7070
/// Represents a substitution from the "canonical variables" found

chalk-engine/src/forest.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -140,7 +140,7 @@ where
140140
Ok(()) => {
141141
let answer = self.forest.answer(self.table, self.answer);
142142

143-
// FIXME(rust-lang-nursery/chalk#79) -- if answer
143+
// FIXME(rust-lang/chalk#79) -- if answer
144144
// has delayed literals, we *should* try to
145145
// simplify here (which might involve forcing
146146
// `table` and its dependencies to completion. But

chalk-engine/src/logic.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -495,7 +495,7 @@ impl<C: Context, CO: ContextOps<C>> Forest<C, CO> {
495495
// For now, we always pick the last subgoal in the
496496
// list.
497497
//
498-
// FIXME(rust-lang-nursery/chalk#80) -- we should be more
498+
// FIXME(rust-lang/chalk#80) -- we should be more
499499
// selective. For example, we don't want to pick a
500500
// negative literal that will flounder, and we don't want
501501
// to pick things like `?T: Sized` if we can help it.

chalk-ir/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.1.0"
44
description = "Chalk's internal representation of types, goals, and clauses"
55
license = "Apache-2.0/MIT"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010
edition = "2018"

chalk-ir/src/lib.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -107,7 +107,7 @@ pub enum TypeName {
107107
/// `forall<T> { Goal(T) }` (syntatical representation)
108108
/// `forall { Goal(?0) }` (used a DeBruijn index)
109109
/// `Goal(!U1)` (the quantifier was moved to the environment and replaced with a universe index)
110-
/// See https://rust-lang-nursery.github.io/rustc-guide/mir/regionck.html#skol for more.
110+
/// See https://rust-lang.github.io/rustc-guide/borrow_check/region_inference.html#placeholders-and-universes for more.
111111
#[derive(Copy, Clone, PartialEq, Eq, PartialOrd, Ord, Hash)]
112112
pub struct UniverseIndex {
113113
pub counter: usize,

chalk-macros/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.1.1"
44
description = "Macros for Chalk"
55
license = "Apache-2.0/MIT"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010

chalk-parse/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.1.0"
44
description = "Parser for the Chalk project"
55
license = "Apache-2.0/MIT"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010
build = "build.rs" # LALRPOP preprocessing

chalk-solve/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ version = "0.1.0"
44
license = "Apache-2.0/MIT"
55
description = "Combines the chalk-engine with chalk-ir"
66
authors = ["Rust Compiler Team", "Chalk developers"]
7-
repository = "https://github.com/rust-lang-nursery/chalk"
7+
repository = "https://github.com/rust-lang/chalk"
88
readme = "README.md"
99
keywords = ["compiler", "traits", "prolog"]
1010
edition = "2018"

0 commit comments

Comments
 (0)