chalk-recursive 0.68.0

Recursive solver for the Chalk project
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

[package]
name = "chalk-recursive"
version = "0.68.0"
description = "Recursive solver for the Chalk project"
license = "Apache-2.0/MIT"
authors = ["Rust Compiler Team", "Chalk developers"]
repository = "https://github.com/rust-lang/chalk"
readme = "README.md"
keywords = ["compiler", "traits", "prolog"]
edition = "2018"

[dependencies]
rustc-hash = { version = "1.1.0" }
tracing = "0.1"

chalk-derive = { version = "=0.68.0", path = "../chalk-derive" }
chalk-ir = { version = "=0.68.0", path = "../chalk-ir" }
chalk-solve = { version = "=0.68.0", path = "../chalk-solve", default-features = false }

[dev-dependencies]
chalk-integration = { path = "../chalk-integration" }

[features]
default = ["tracing-full"]

tracing-full = ["chalk-solve/tracing-full"]