Merge pull request #1 from jackh726/minutes

nikomatsakis · web-flow · commit 08fa66373305 · 2019-12-06T16:24:36.000-05:00
Add missing minutes for recent design meetings
diff --git a/minutes/design-2019-10-16.md b/minutes/design-2019-10-16.md
@@ -5,7 +5,7 @@
 How to handle normalization in chalk and ideas about what a generic
 library to represent types might look like.
 
-## summary 
+## summary
 
 Key points in the discussion:
 
@@ -15,4 +15,3 @@ Key points in the discussion:
 * [can use generics to keep things straight](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178315802)
 * [and in particular a typefamily trait](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178316023)
 * [this typefamily trait can be the foundation for a generic type library](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178316849)
-* 
diff --git a/minutes/design-2019-10-21.md b/minutes/design-2019-10-21.md
@@ -0,0 +1,13 @@
+# traits design meeting 2019.10-21
+
+## topic
+
+`dyn Trait` in Chalk.
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-21/near/178672663)
+
+## summary
+
+Key points in the discussion:
+* [how is `dyn Trait` defined in Chalk](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-21/near/178681888)
+* [where clauses](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-21/near/178684670)
diff --git a/minutes/design-2019-10-28.md b/minutes/design-2019-10-28.md
@@ -0,0 +1,14 @@
+# traits design meeting 2019.10-28
+
+## topic
+
+Rustc and trait upcasting.
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E10.2E28/near/179258087)
+
+## summary
+
+Key points in the discussion:
+* [codegen changes](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E10.2E28/near/179259139)
+* [changes to enable this](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E10.2E28/near/179259720)
+* [diamond inheritance](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E10.2E28/near/179260637)
diff --git a/minutes/design-2019-11-04.md b/minutes/design-2019-11-04.md
@@ -0,0 +1,16 @@
+# traits design meeting 2019.11.04
+
+## topic
+
+Regions and universes.
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E04/near/179863691)
+
+## summary
+
+Key points in the discussion:
+* [what is normalization](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E04/near/179864314)
+* [normalization under binders](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E04/near/179865279)
+* [leak check](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E04/near/179867205)
+* [Niko's leak check PR](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E04/near/179868825)
+    * [PR](https://github.com/rust-lang/rust/pull/65232)
diff --git a/minutes/design-2019-11-11.md b/minutes/design-2019-11-11.md
@@ -0,0 +1,16 @@
+# traits design meeting 2019.11.11
+
+## topic
+
+Coinduction in chalk (and the current [unsoundness](https://github.com/rust-lang/chalk/issues/248))
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180448354)
+
+## summary
+
+Key points in the discussion:
+* [what is coinduction and what's the problem](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180450250)
+* [brief explanation of how chalk works irt. coinduction](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180451093)
+* [general idea for how to fix the issue](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180451374)
+* [can we see negative coinductive cycles?](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180452900)
+* [a walk-through of how the new implementation would work for a test case](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E11.2E11/near/180454384)
diff --git a/minutes/design-2019-11-18.md b/minutes/design-2019-11-18.md
@@ -0,0 +1,14 @@
+# traits design meeting 2019.11.18
+
+## topic
+
+How to improve rustc-chalk integration.
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/rustc-chalk.20integration.2C.20take.202/near/181043120)
+
+## summary
+
+Key points in the discussion:
+* [we should have rustc use `chalk-solve` instead of `chalk-engine`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/rustc-chalk.20integration.2C.20take.202/near/181043229)
+* [refactoring in rustc to make things easier](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/rustc-chalk.20integration.2C.20take.202/near/181046650)
+* [`QuantifiedTy`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/rustc-chalk.20integration.2C.20take.202/near/181047974)
diff --git a/minutes/design-2019-12-02.md b/minutes/design-2019-12-02.md
@@ -0,0 +1,16 @@
+# traits design meeting 2019.12.02
+
+## topic
+
+Small updates from the last week
+
+[Zulip thread](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E02/near/182377699)
+
+## summary
+
+Key points in the discussion:
+* [refining an answer in Chalk can cause a panic (currently)](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E02/near/182380076)
+    - This was spotted in [a pull request](https://github.com/rust-lang/chalk/pull/281#discussion_r344847832), but no follow-up has been done yet. Issue [filed](https://github.com/rust-lang/chalk/issues/302).
+* [some thoughts of associated type projections](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E02/near/182380309)
+* [chalk needs more/better tests](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E02/near/182380251)
+* [debug output with `CHALK_DEBUG` and possibly switching to `tracing`](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/design.20meeting.202019.2E12.2E02/near/182385372)
