Merge pull request #4 from nikomatsakis/roadmap

add the roadmap and build it

Author: nikomatsakis

.travis.yml

@@ -15,7 +15,10 @@ 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)
   - cargo install-update -a
 
 script:
   - mdbook build && mdbook test
+  - skill-tree roadmap.toml book/roadmap
+  

roadmap.toml

@@ -0,0 +1,55 @@
+[[group]]
+name = "align-rustc-predicate"
+label = "Align rustc predicates with chalk predicates"
+items = [
+  { label = "isolate Binder into a Forall goal" },
+  { label = "introduce Implication" },
+  { label = "introduce Forall goals with types" },
+]
+
+[[group]]
+name = "recursive-solver"
+label = "Experiment with a recursive chalk solver"
+items = [
+  { label = "write-up the idea that Niko had" },
+  { label = "build prototype and evaluate" },
+]
+
+[[group]]
+name = "rust-analyzer-integration"
+label = "Integrate with rust-analyzer"
+items = [
+  { label = "How to model impl Trait" },
+  { label = "Ensure that we never need to ask for impls of unknown types", port = "askfor", requires = ["syntactic-semantic-equality"] },
+  { label = "Deal with performance problems" },
+  { label = "Deal with memory usage" },
+]
+
+[[group]]
+name = "syntactic-semantic-equality"
+label = "Separate syntactic equality from semantic equality"
+requires = ["map-chalk-types-to-rustc-types:debruijn"]
+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 = "Move Identifier to TypeFamily" },
+  { label = "Adapt rutsc's debruijn index model", port="debruijn" },
+  { label = "Remove all vectors, boxes" },
+]
+
+[[group]]
+name = "rustc-integration-mvp"
+label = "Integrate chalk-solve into rustc"
+requires = [ "map-chalk-types-to-rustc-types" ]
+items = [
+  { label="remove old chalk support" },
+  { label="create" },
+]
+
+

src/welcome.md

@@ -1 +1,3 @@
 # Welcome to the traits working group
+
+* [Development roadmap](roadmap/skill-tree.html)