Merge pull request #8 from nikomatsakis/roadmap4

extend roadmap with more info

Author: nikomatsakis

roadmap.toml

@@ -11,7 +11,7 @@ items = [
 name = "recursive-solver"
 label = "Experiment with a recursive chalk solver"
 items = [
-  { label = "Write-up the idea that Niko had", status="Complete" },
+  { label = "Write-up the idea that Niko had", status="Complete", href="https://gist.github.com/nikomatsakis/bfbdbe588d6fc61ecb09e3b51847fb7c" },
   { label = "Build prototype and evaluate", status="Blocked" },
 ]
 
@@ -28,8 +28,8 @@ label = "Integrate with rust-analyzer"
 requires = ["impl-trait"]
 items = [
   { 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" },
+  { label = "Deal with performance problems", status = "Blocked" },
+  { label = "Deal with memory usage", status = "Blocked" },
 ]
 
 [[group]]
@@ -48,10 +48,12 @@ name = "map-chalk-types-to-rustc-types"
 label = "Map chalk types to rustc types"
 items = [
   { 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 = "Make ty intern method take &self", href="https://github.com/rust-lang-nursery/chalk/issues/328", status="Complete" },
+  { label = "Make ty data methods take &self", href="https://github.com/rust-lang/chalk/issues/339", status="Assigned" },
+  { label = "Make other intern method take &self", href="https://github.com/rust-lang-nursery/chalk/issues/340", status="Assigned" },
+  { label = "Make other data methods take &self", href="https://github.com/rust-lang/chalk/issues/341", status="Assigned" },
+  { label = "Align placeholders and ty::Param", status="Blocked" },
+  { label = "Move Identifier to TypeFamily", status="Complete" },
   { 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", port="visit" },

src/SUMMARY.md

@@ -1,4 +1,5 @@
 # Summary
 
 - [Welcome](./welcome.md)
+- [Development roadmap](./roadmap.md)
 - [Minutes and design notes](./minutes.md)

src/roadmap.md

@@ -0,0 +1,18 @@
+# Development roadmap
+
+We maintain a [development roadmap][dr] that shows both our current
+efforts, future work we have in mind, and the overall goals we are
+working towards. Many of the items on that map have links that lead to
+corresponding issues on the appropriate tracker. Alternatively, if
+you're just looking for issues to pick up, you can take a look at
+these issue lists on Github:
+
+* [current-sprint issues on chalk](https://github.com/rust-lang/chalk/labels/current-sprint)
+
+We are working from a 6-week "sprint cycle". We're still working out
+the details of how we organize our sprints. For now, if you'd like to
+claim one of the above issues or get involved, though, drop by on [the
+rust-lang Zulip] in the `#wg-traits` stream and say hello!
+
+[the rust-lang Zulip]: https://rust-lang.zulipchat.com/
+[dr]: roadmap/skill-tree.html

src/welcome.md

@@ -1,3 +1,38 @@
 # Welcome to the traits working group
 
-* [Development roadmap](roadmap/skill-tree.html)
+## Scope and purpose
+
+The **traits** working group is dedicated to improving the trait
+system implementation in rustc. This working group is a collaboration
+between the [lang team] and the compiler team. We have a number of inter-related
+goals:
+
+- designing new trait-related language features;
+- documenting and specifying the semantics of traits in Rust today; and,
+- improving the trait solver implementation in rustc.
+
+[lang team]: https://github.com/rust-lang/lang-team/
+
+A big part of this work is transitioning the compiler to use a
+[Chalk-style] solver, but along the way we hope to make targeted fixes
+to the existing solver where needed.
+
+[Chalk-style]: https://github.com/rust-lang-nursery/chalk
+
+## Design meetings
+
+We hold weekly design meetings where we talk in depth about various
+topics ([calendar event][ce-design]).  These meetings take place on Zulip (see below). The goal is
+not just to figure out what we want to do, it's also a way to spread
+knowledge. Feel free to come and lurk!
+
+[ce-design]: https://calendar.google.com/event?action=TEMPLATE&tmeid=MnFmbmdkaGV0aXE3Zjc4cjlpNWVjNDRoZXMgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com
+
+You'll find minutes from past meetings in [the minutes directory](minutes).
+
+## Chat forum
+
+On [the rust-lang Zulip][z], in [the `#wg-traits` stream][s].
+
+[z]: https://rust-lang.zulipchat.com/
+[s]: https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits