Merge pull request #421 from jackh726/release

jackh726 · web-flow · commit 1c20731eda71 · 2020-04-30T00:49:31.000-04:00
Release 0.10.0
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,13 +1,14 @@
 [package]
 name = "chalk"
-version = "0.1.0"
+version = "0.10.1-dev"
 description = "Model of the Rust trait system"
 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"
+publish = false
 
 [features]
 bench = []
@@ -21,36 +22,13 @@ salsa = "0.10.0"
 serde = "1.0"
 serde_derive = "1.0"
 
-[dependencies.chalk-parse]
-version = "0.1.0"
-path = "chalk-parse"
-
-[dependencies.chalk-ir]
-version = "0.1.0"
-path = "chalk-ir"
-
-[dependencies.chalk-solve]
-version = "0.1.0"
-path = "chalk-solve"
-
-[dependencies.chalk-macros]
-version = "0.1.0"
-path = "chalk-macros"
-
-[dependencies.chalk-engine]
-version = "0.9.0"
-path = "chalk-engine"
-
-[dependencies.chalk-rust-ir]
-version = "0.1.0"
-path = "chalk-rust-ir"
-
-[dependencies.chalk-derive]
-version = "0.1.0"
-path = "chalk-derive"
-
-[dependencies.chalk-integration]
-version = "0.1.0"
-path = "chalk-integration"
+chalk-macros = { version = "0.10.1-dev", path = "chalk-macros" }
+chalk-derive = { version = "0.10.1-dev", path = "chalk-derive" }
+chalk-engine = { version = "0.10.1-dev", path = "chalk-engine" }
+chalk-ir = { version = "0.10.1-dev", path = "chalk-ir" }
+chalk-rust-ir = { version = "0.10.1-dev", path = "chalk-rust-ir" }
+chalk-solve = { version = "0.10.1-dev", path = "chalk-solve" }
+chalk-parse = { version = "0.10.1-dev", path = "chalk-parse" }
+chalk-integration = { version = "0.10.1-dev", path = "chalk-integration" }
 
 [workspace]
diff --git a/RELEASES.md b/RELEASES.md
@@ -1,7 +1,8 @@
-The `chalk-engine` and `chalk-macros` crates are published to
-crates.io periodically for use by the compiler. The rest of chalk is
-not yet published, though it might be nice to publish the interpreter
-at some point.
+# Unreleased
+
+# Release 0.10.0
+
+- Too many changes to list
 
 # Release 0.9.0
 
diff --git a/chalk-derive/Cargo.toml b/chalk-derive/Cargo.toml
@@ -1,6 +1,7 @@
 [package]
 name = "chalk-derive"
-version = "0.1.0"
+version = "0.10.1-dev"
+description = "A helper crate for use by chalk crates for `derive` macros."
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
 repository = "https://github.com/rust-lang/chalk"
@@ -15,7 +16,4 @@ proc-macro = true
 synstructure = "0.12.1"
 quote = "1.0.2"
 proc-macro2 = "1.0.3"
-
-[dependencies.syn]
-version = "1.0.5"
-features = ["full"]
+syn = { version = "1.0.5", features = ["full"] }
diff --git a/chalk-derive/README.md b/chalk-derive/README.md
@@ -0,0 +1,3 @@
+A helper crate for use by chalk crates for `derive` macros.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-engine/Cargo.toml b/chalk-engine/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "chalk-engine"
-version = "0.9.0"
+version = "0.10.1-dev"
 description = "Core trait engine from Chalk project"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -15,6 +15,4 @@ default = []
 [dependencies]
 rustc-hash = { version = "1.0.0" }
 
-[dependencies.chalk-macros]
-version = "0.1.0"
-path = "../chalk-macros"
+chalk-macros = { version = "0.10.1-dev", path = "../chalk-macros" }
diff --git a/chalk-engine/README.md b/chalk-engine/README.md
@@ -1,3 +1,3 @@
-The core trait solving engine used in Chalk. This engine is meant to
-be reused by rustc. Other projects may of course re-use it too, if you
-have a need, but don't expect much stability in the interface yet.
+The core crate for Chalk.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-integration/Cargo.toml b/chalk-integration/Cargo.toml
@@ -1,38 +1,22 @@
 [package]
 name = "chalk-integration"
-version = "0.1.0"
+version = "0.10.1-dev"
 license = "Apache-2.0/MIT"
 description = "Sample solver setup for Chalk"
 authors = ["Rust Compiler Team", "Chalk developers"]
 repository = "https://github.com/rust-lang/chalk"
 keywords = ["compiler", "traits", "prolog"]
 edition = "2018"
+publish = false
 
 [dependencies]
 lalrpop-intern = "0.15.1"
 salsa = "0.10.0"
 
-[dependencies.chalk-engine]
-version = "0.9.0"
-path = "../chalk-engine"
-
-[dependencies.chalk-solve]
-version = "0.1.0"
-path = "../chalk-solve"
-
-[dependencies.chalk-parse]
-version = "0.1.0"
-path = "../chalk-parse"
-
-[dependencies.chalk-ir]
-version = "0.1.0"
-path = "../chalk-ir"
-features = ["default-interner"]
-
-[dependencies.chalk-rust-ir]
-version = "0.1.0"
-path = "../chalk-rust-ir"
-
-[dependencies.chalk-macros]
-version = "0.1.0"
-path = "../chalk-macros"
+chalk-macros = { version = "0.10.1-dev", path = "../chalk-macros" }
+chalk-derive = { version = "0.10.1-dev", path = "../chalk-derive" }
+chalk-engine = { version = "0.10.1-dev", path = "../chalk-engine" }
+chalk-ir = { version = "0.10.1-dev", path = "../chalk-ir", features = ["default-interner"] }
+chalk-rust-ir = { version = "0.10.1-dev", path = "../chalk-rust-ir" }
+chalk-solve = { version = "0.10.1-dev", path = "../chalk-solve" }
+chalk-parse = { version = "0.10.1-dev", path = "../chalk-parse" }
diff --git a/chalk-integration/README.md b/chalk-integration/README.md
@@ -0,0 +1,3 @@
+A library that takes AST from `chalk-parse` and uses it to drive `chalk-solve`.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-ir/Cargo.toml b/chalk-ir/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "chalk-ir"
-version = "0.1.0"
+version = "0.10.1-dev"
 description = "Chalk's internal representation of types, goals, and clauses"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -12,17 +12,9 @@ edition = "2018"
 [dependencies]
 lalrpop-intern = { version = "0.15.1", optional = true }
 
-[dependencies.chalk-macros]
-version = "0.1.0"
-path = "../chalk-macros"
-
-[dependencies.chalk-engine]
-version = "0.9.0"
-path = "../chalk-engine"
-
-[dependencies.chalk-derive]
-version = "0.1.0"
-path = "../chalk-derive"
+chalk-macros = { version = "0.10.1-dev", path = "../chalk-macros" }
+chalk-derive = { version = "0.10.1-dev", path = "../chalk-derive" }
+chalk-engine = { version = "0.10.1-dev", path = "../chalk-engine" }
 
 [features]
 default = []
diff --git a/chalk-ir/README.md b/chalk-ir/README.md
@@ -0,0 +1,3 @@
+A rust type library for chalk.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-macros/Cargo.toml b/chalk-macros/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "chalk-macros"
-version = "0.1.1"
+version = "0.10.1-dev"
 description = "Macros for Chalk"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
diff --git a/chalk-macros/README.md b/chalk-macros/README.md
@@ -1 +1,3 @@
 Various macros used within Chalk.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-parse/Cargo.toml b/chalk-parse/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "chalk-parse"
-version = "0.1.0"
+version = "0.10.1-dev"
 description = "Parser for the Chalk project"
 license = "Apache-2.0/MIT"
 authors = ["Rust Compiler Team", "Chalk developers"]
@@ -9,14 +9,12 @@ readme = "README.md"
 keywords = ["compiler", "traits", "prolog"]
 build = "build.rs" # LALRPOP preprocessing
 edition = "2018"
-
-# Add a dependency on the LALRPOP runtime library:
-[dependencies.lalrpop-util]
-version = "0.17"
+publish = false
 
 [build-dependencies.lalrpop]
 version = "0.17"
 
 [dependencies]
 lalrpop-intern = "0.15.1"
+lalrpop-util = "0.17"
 regex = "1.0.5"
diff --git a/chalk-parse/README.md b/chalk-parse/README.md
@@ -1 +1,3 @@
 Parser for the Chalk standalone trait system implementation.
+
+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.
diff --git a/chalk-rust-ir/Cargo.toml b/chalk-rust-ir/Cargo.toml
diff --git a/chalk-rust-ir/README.md b/chalk-rust-ir/README.md
diff --git a/chalk-solve/Cargo.toml b/chalk-solve/Cargo.toml
diff --git a/chalk-solve/README.md b/chalk-solve/README.md

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+A helper crate for use by chalk crates for `derive` macros.
	`2`	`+`
	`3`	`+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	+A library that takes AST from `chalk-parse` and uses it to drive `chalk-solve`.
	`2`	`+`
	`3`	`+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+A rust type library for chalk.`
	`2`	`+`
	`3`	`+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.`
Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`Various macros used within Chalk.`
	`2`	`+`
	`3`	`+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.`
Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`Parser for the Chalk standalone trait system implementation.`
	`2`	`+`
	`3`	`+See [Github](https://github.com/rust-lang/chalk) for up-to-date information.`