Merge pull request #5 from nikomatsakis/roadmap2

Roadmap

Author: nikomatsakis

.travis.yml

@@ -15,7 +15,7 @@ rust:
 before_script:
   - (test -x $HOME/.cargo/bin/cargo-install-update || cargo install cargo-update)
   - (test -x $HOME/.cargo/bin/mdbook || cargo install --vers "^0.3" mdbook)
-  - (test -x $HOME/.cargo/bin/skill-tree || cargo install --vers "^1.0" skill-tree)
+  - (test -x $HOME/.cargo/bin/skill-tree || cargo install --vers "^1.1" skill-tree)
   - cargo install-update -a
 
 script:

roadmap.toml

@@ -11,8 +11,8 @@ items = [
 name = "recursive-solver"
 label = "Experiment with a recursive chalk solver"
 items = [
-  { label = "write-up the idea that Niko had" },
-  { label = "build prototype and evaluate" },
+  { label = "Write-up the idea that Niko had", status="Complete" },
+  { label = "Build prototype and evaluate", status="Blocked" },
 ]
 
 [[group]]
@@ -29,18 +29,22 @@ items = [
 name = "syntactic-semantic-equality"
 label = "Separate syntactic equality from semantic equality"
 requires = ["map-chalk-types-to-rustc-types:debruijn"]
+status = "Blocked"
 items = [
 ]
 
 [[group]]
 name = "map-chalk-types-to-rustc-types"
 label = "Map chalk types to rustc types"
 items = [
-  { label = "Make intern methods take &self", href="https://github.com/rust-lang-nursery/chalk/issues/328" },
-  { label = "Make data methods take &self" },
+  { label = "Rename Projection to Alias", status="Complete" }, 
+  { label = "Make intern methods take &self", href="https://github.com/rust-lang-nursery/chalk/issues/328", status="Assigned" },
+  { label = "Make data methods take &self", status="Blocked" },
+  { label = "Align placeholders and ty::Param" },
   { label = "Move Identifier to TypeFamily" },
-  { label = "Adapt rutsc's debruijn index model", port="debruijn" },
+  { label = "Adapt rustc's debruijn index model", port="debruijn", status="Assigned", href="https://github.com/rust-lang/chalk/issues/334" },
   { label = "Remove all vectors, boxes" },
+  { label = "Introduce a `Visit` trait", href="https://github.com/rust-lang/chalk/issues/333" },
 ]
 
 [[group]]
@@ -52,4 +56,20 @@ items = [
   { label="create" },
 ]
 
+[[group]]
+name = "advanced-features"
+label = "Advanced features"
+requires = [ "rustc-integration-mvp" ]
+status = "Blocked"
+items = [
+  { label="implied bounds" },
+]
 
+[[group]]
+name = "library"
+label = "Usable as a standalone library for traits solving"
+requires = [ "rustc-integration-mvp", "rust-analyzer-integration" ]
+status = "Blocked"
+items = [
+  { label="implied bounds" },
+]