Stream: t-compiler

Topic: prep for triage meeting


nikomatsakis (Feb 19 2019 at 11:15, on Zulip):

@T-compiler/meeting, I pushed a trait working group update to the compiler-team repository. This took me longer than I would like, in part because I was trying to figure out how much detail and doing other administrivia tasks, but there you have it.

@WG-compiler-traits, if you think anything is missing, please let me know and I'll amend! I apologize in advance.

nikomatsakis (Feb 19 2019 at 11:16, on Zulip):

@pnkfelix -- did you plan to push an update for NLL? I sigh still haven't found time to read that thread but I have a few thoughts of things I wanted to add. In particular, I wanted to put down some notes on the work that @blitzerr has been doing on closure desugaring and discuss who should work with them on it (I would love to continue doing so, but I fear I may be too inattentive)

pnkfelix (Feb 19 2019 at 11:57, on Zulip):

I'll do something for the NLL update, perhaps after the meeting tonight?

pnkfelix (Feb 19 2019 at 13:17, on Zulip):

oh wait, the NLL meetings are on wednesday now :face_palm:

pnkfelix (Feb 19 2019 at 13:20, on Zulip):

well I will nonetheless put something up there

csmoe (Feb 19 2019 at 15:53, on Zulip):

-delete-

Alexander Regueiro (Feb 19 2019 at 16:00, on Zulip):

@nikomatsakis Good stuff. I'll try to watch that video later and get up to speed...

pnkfelix (Feb 19 2019 at 22:05, on Zulip):

So I'm debating how best to confirm the agenda for the WG-checkin during the triage meeting

pnkfelix (Feb 19 2019 at 22:05, on Zulip):

For this first go-round, I'm assuming we'll plan to hear from someone from NLL (e.g. me) and someone from WG-traits

pnkfelix (Feb 19 2019 at 22:06, on Zulip):

@nikomatsakis should I assume you'll represent the WG-traits at the triage meeting on Thursday?

nikomatsakis (Feb 19 2019 at 22:06, on Zulip):

@pnkfelix yep

pnkfelix (Feb 19 2019 at 22:06, on Zulip):

It certainly sounds like there's some shakeup going on regarding universes from what I see in the stream over in t-compiler/wg-traits

nikomatsakis (Feb 19 2019 at 22:06, on Zulip):

yep

nikomatsakis (Feb 19 2019 at 22:07, on Zulip):

well, big shakeup not exactly sure

pnkfelix (Feb 19 2019 at 22:07, on Zulip):

Okay. On the NLL side its not clear what the check in will look like. But even if nothing else comes up at the NLL meeting tomorrow, I think we can (should?) use whatever time is left in the NLL slot to talk about Place 2.0

pnkfelix (Feb 19 2019 at 22:08, on Zulip):

anyway, I think as a matter of procedure, we should have a standard spot (presumably somewhere in the https://github.com/rust-lang/compiler-team repo structure) where the T-compiler meeting organizer can look to find the relevant contact from T-compiler for each WG

pnkfelix (Feb 19 2019 at 22:09, on Zulip):

obviously I was able to infer it today.

pnkfelix (Feb 19 2019 at 22:09, on Zulip):

maybe it can just be a table embedded in https://github.com/rust-lang/compiler-team/blob/master/working-groups/README.md ?

Last update: Nov 21 2019 at 13:50UTC