Stream: t-compiler/wg-polonius

Topic: regular meeting time and next steps


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

So I'd like to setup a regular meeting time and I think we should talk about kind of figuring out concrete, actionable next steps. I'd also like to get some idea of who wants to be involved in this effort and how much time they have.

I was telling @Santiago Pastorino that I'm aiming to kind of "dial back" my own 'leadership role' when it comes to compiler working groups and focus primarily on Polonius, Traits, and meta + documentation sort of things, at least for now (for want of time, mostly).

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

I think one obvious thing would be just running the existing -Zpolonius integration on some of the perf test cases that caused us trouble (e.g., html5ever?) for NLL. It'd be good to try and come up with a list of which those were

Santiago Pastorino (Feb 19 2019 at 22:55, on Zulip):

@nikomatsakis remember me what does -Zpolonius does or maybe asked differently what's the current status of rustc and polonius integration that happens with -Zpolonius

Santiago Pastorino (Feb 19 2019 at 22:55, on Zulip):

I don't remember exactly what things are implemented in Polonius and which ones doesn't

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

Well, good question. Right now -Zpolonius will (I think) run:

We would therefore expect there to be overhead, I think it's doing twice as much work

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

but what I'm interested in is seeing where we see like 10x perf spikes (or more)

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

Let's spin off a topic on this actually

Albin Stjerna (Feb 20 2019 at 04:27, on Zulip):

I said so before, but just to put it on the record; I have roughly 20 weeks full time, under the assumption that I can work on things that can be squeezed into the format of a Master's project.

Last update: Nov 15 2019 at 20:00UTC