Stream: t-compiler/wg-meta

Topic: meeting 2019.12.05


Santiago Pastorino (Dec 05 2019 at 19:05, on Zulip):

@T-compiler/WG-meta :wave:

Santiago Pastorino (Dec 05 2019 at 19:05, on Zulip):

@nikomatsakis do we have something for today?

nikomatsakis (Dec 05 2019 at 19:05, on Zulip):

:wave:

nikomatsakis (Dec 05 2019 at 19:06, on Zulip):

I don't really

nikomatsakis (Dec 05 2019 at 19:06, on Zulip):

we could chat a bit

nikomatsakis (Dec 05 2019 at 19:06, on Zulip):

since we've missed quite a few weeks

nikomatsakis (Dec 05 2019 at 19:10, on Zulip):

@Santiago Pastorino what is the "current status" of cargo bisect rustc?

Santiago Pastorino (Dec 05 2019 at 19:12, on Zulip):

unfortunately haven't touch it again

Santiago Pastorino (Dec 05 2019 at 19:12, on Zulip):

got really into MIR 2.0 and parallel

Santiago Pastorino (Dec 05 2019 at 19:12, on Zulip):

I hope I can finish it next week

nikomatsakis (Dec 05 2019 at 19:12, on Zulip):

ok.

nikomatsakis (Dec 05 2019 at 19:18, on Zulip):

So I saw two open PRs

nikomatsakis (Dec 05 2019 at 19:18, on Zulip):

I merged one

nikomatsakis (Dec 05 2019 at 19:18, on Zulip):

The only remaining one is https://github.com/rust-lang/compiler-team/pull/201/ which is marked as draft -- seems like we need to circle up with @ecstatic-morse

ecstatic-morse (Dec 05 2019 at 19:20, on Zulip):

You rang?

ecstatic-morse (Dec 05 2019 at 19:22, on Zulip):

I don't think oli wants to add to the list of WGs they lead, and I think they're pretty much the only viable candidate

ecstatic-morse (Dec 05 2019 at 19:23, on Zulip):

However wg-ctfe seems like something that should exist to spin off project groups.

ecstatic-morse (Dec 05 2019 at 19:26, on Zulip):

So maybe we want to close that PR? Or we could convince oli to be the lead with the understanding that it will be minimal overhead (i.e., no weekly meeting).

ecstatic-morse (Dec 05 2019 at 19:39, on Zulip):

I just read your AiC blog post, and it seems like it kind of obviates the need for lang-team related WGs. Instead we just have a lang-team that decides what proposals they want to form project groups around. I quite like this idea.

ecstatic-morse (Dec 05 2019 at 19:41, on Zulip):

So let's close this PR, and I can talk with oli and RalfJ about what the proposals they would want the lang-team to prioritize at a later date.

nikomatsakis (Dec 12 2019 at 23:06, on Zulip):

I think closing the PR makes sense for sure, @ecstatic-morse, since it's kind of been open with no resolution

nikomatsakis (Dec 12 2019 at 23:06, on Zulip):

But I still feel a bit unresolved about how lang team and const evaluation should overlap etc --

nikomatsakis (Dec 12 2019 at 23:07, on Zulip):

I mean I guess I think we do have a need for a shepherded group, which of course you've been doing a great job of thus far

nikomatsakis (Dec 12 2019 at 23:07, on Zulip):

(I feel much more aware of what's going on now!)

nikomatsakis (Dec 12 2019 at 23:07, on Zulip):

I feel like the main thing that's missing perhaps is a kind of "roadmap" that I can refer back to refresh my memory etc

ecstatic-morse (Dec 12 2019 at 23:09, on Zulip):

I can only talk intelligently about a fairly narrow range of CTFE topics (promotion, qualification, etc.). Stuff like #67191 is out of my depth.

Last update: Jul 02 2020 at 19:50UTC