diff options
| author | Florian Diebold <[email protected]> | 2019-05-01 22:26:42 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2019-05-04 17:18:30 +0100 |
| commit | 0bcf47b22b01f66c2f2056f5871e32071ba95b01 (patch) | |
| tree | 725e7b508affd7c810a4459495065ac3ecff5285 /crates/ra_hir/Cargo.toml | |
| parent | 0f34568924019caf1ed63c84143c12156b963abf (diff) | |
Update Chalk
Diffstat (limited to 'crates/ra_hir/Cargo.toml')
| -rw-r--r-- | crates/ra_hir/Cargo.toml | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/crates/ra_hir/Cargo.toml b/crates/ra_hir/Cargo.toml index ae7e7df62..68ffcb2e9 100644 --- a/crates/ra_hir/Cargo.toml +++ b/crates/ra_hir/Cargo.toml | |||
| @@ -21,12 +21,9 @@ tt = { path = "../ra_tt", package = "ra_tt" } | |||
| 21 | test_utils = { path = "../test_utils" } | 21 | test_utils = { path = "../test_utils" } |
| 22 | ra_prof = { path = "../ra_prof" } | 22 | ra_prof = { path = "../ra_prof" } |
| 23 | 23 | ||
| 24 | # chalk-solve = { git = "https://github.com/rust-lang/chalk.git" } | 24 | chalk-solve = { git = "https://github.com/rust-lang/chalk.git" } |
| 25 | # chalk-rust-ir = { git = "https://github.com/rust-lang/chalk.git" } | 25 | chalk-rust-ir = { git = "https://github.com/rust-lang/chalk.git" } |
| 26 | # chalk-ir = { git = "https://github.com/rust-lang/chalk.git" } | 26 | chalk-ir = { git = "https://github.com/rust-lang/chalk.git" } |
| 27 | chalk-solve = { git = "https://github.com/detrumi/chalk.git", branch = "program_clauses_that_could_match" } | ||
| 28 | chalk-rust-ir = { git = "https://github.com/detrumi/chalk.git", branch = "program_clauses_that_could_match" } | ||
| 29 | chalk-ir = { git = "https://github.com/detrumi/chalk.git", branch = "program_clauses_that_could_match" } | ||
| 30 | 27 | ||
| 31 | [dev-dependencies] | 28 | [dev-dependencies] |
| 32 | flexi_logger = "0.11.0" | 29 | flexi_logger = "0.11.0" |