Merge pull request #7 from rust-lang/minutes-for-dec-to-feb

nikomatsakis · web-flow · commit 551ad8086a83 · 2020-03-02T17:04:25.000-05:00
Add minutes for dec-feb
diff --git a/minutes/design-2019-12-30.md b/minutes/design-2019-12-30.md
@@ -0,0 +1,16 @@
+# traits design meeting 2019.12.30
+
+## topic
+
+Overall strategy and steps to take first
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184493020)
+
+## summary
+
+Key points in the discussion:
+* [whether `GeneratorWitness` is too specific](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184493361)
+* [renaming `chalk-ir` to `chalk-ty`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184493914)
+* [where to start with integrating chalk into rustc](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184494158)
+* [logging test cases, dumping a `.chalk` file, to debug perf issues](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184494621)
+* [using the `wg-traits` repo as a coordination point for tracking plans](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E30/near/184495709)
diff --git a/minutes/design-2020-01-06.md b/minutes/design-2020-01-06.md
@@ -0,0 +1,26 @@
+# traits design meeting 2020.01.06
+
+## topic
+
+Plans are slowly taking shape
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184934566)
+
+## summary
+
+Key points in the discussion:
+* [general roadmap: integrate chalk into rustc step by step](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184935652)
+* [getting `chalk-ir` ready for rustc integration](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184936420)
+* [balancing rust-analyzer and optimization work](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184937063)
+* [incremental goal solving](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184937837)
+* [sync-up: book PR, writing out steps, other PRs](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184938309)
+* [adding tracing to the solver](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184939093)
+* [action points](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E06/near/184940534):
+    - We do want to try to extend both rustc and chalk.
+    - Need to come up with a plan for chalk integration into rustc (Niko)
+    - Need to come up with goals for chalk (Jack)
+    - Need to put together what needs to be done for chalk-ir changes (Niko)
+    - One way to maybe help performance would be to cache program clause creation
+    - Should think about potential other solvers
+    - Going to add tracing into chalk (David and Jack)
+    - Going to create projects on wg-traits to get organized
diff --git a/minutes/design-2020-01-13.md b/minutes/design-2020-01-13.md
@@ -0,0 +1,25 @@
+# traits design meeting 2020.01.13
+
+## topic
+
+Alias types, bringing rustc and chalk closer together, and truncation
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185524101)
+
+[A hackMD with some chalk goals](https://hackmd.io/VeMmXIYBRu2KdYbJDIpcFA?both)
+
+## summary
+
+Key points in the discussion:
+* [setting up a "chalk development" project](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185524694)
+* [re-implementing `impl Trait` as an alias](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185525598)
+* [move rustc and chalk closer together by refactoring them both](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185527268)
+* [type representation, `Ty` vs `TyData`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185527502)
+* [`Alias` enum representation](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185528001)
+* [rust-analyzer bug around truncation](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185529345)
+* [meeting summary](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E01.2E13/near/185531717):
+    - `Alias` might make sense as one enum variant, or maybe three
+    - We want to bring rustc and Chalk's types closer together/merge
+    - @**detrumi** is going to try to reimplement `impl Trait`
+    - We should try to just remove truncation and instead just `Flounder` (Jack will try)
+    - performance/cancellation is the next big thing if we remove truncation & related errors
diff --git a/minutes/design-2020-02-11.md b/minutes/design-2020-02-11.md
@@ -0,0 +1,22 @@
+# traits design meeting 2020.02.11
+
+## topic
+
+Unofficial start of a "trial" wg-traits sprint
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187949855)
+
+[Sprint planning doc](https://paper.dropbox.com/doc/wg-traits-2020-sprint-planning--AvNwMlSOogLX0k73AfezNY4zAg-SSt74TfcovdnKKhZNyzeW)
+
+## summary
+
+Key points in the discussion:
+* [Trying out sprints for the Traits working group again](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187954919)
+* [Blockers for integrating chalk and rustc](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187955733)
+* [Creating a `rustc_ty` crate to share between chalk and rustc](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187956058)
+* [More discussion on blockers](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187956348), and specifically [debruijn indices](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187956700)
+* [Bringing rustc closer to chalk, for example by refactoring `ty::Predicate`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187957236)
+* [Planning the sprint by tagging issues (and niko working on his skill-tree)](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187957931)
+* [Things in rustc that are missing from chalk](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187958602)
+* [issue triage: `RustIrDatabase` interface](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187959368)
+* [defining long-term plans and getting organized](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meetting.202020.2E02.2E11/near/187959947)
diff --git a/minutes/design-2020-02-25.md b/minutes/design-2020-02-25.md
@@ -0,0 +1,17 @@
+# traits design meeting 2020.02.25
+
+## topic
+
+Discussions on chalk refactorings
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189060154)
+
+## summary
+
+Key points in the discussion:
+* [head count for who's working on the sprint](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189061051)
+* [`impl Trait`, opaque types](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189061403)
+* [differences between type projections and impl trait](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189062739)
+* [adding the interner to chalk code](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189063630)
+* [sized and auto-traits](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189064002)
+* [rustc refactorings on `Predicate` not being picked up](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202020.2E02.2E25/near/189065423)
