Stream: t-compiler/wg-polonius

Topic: meeting 2019.11.12


lqd (Nov 12 2019 at 09:54, on Zulip):

(another reminder that I’ll be traveling back today and will miss the meeting tonight)

nikomatsakis (Nov 12 2019 at 15:41, on Zulip):

Should we just cancel it today, @WG-polonius?

The main thing I would like to do is to block out some meeting times on my calendar for next week, if we're going to do this Polonius hack-a-thon thing. I can send out some meeting invites in any case.

Albin Stjerna (Nov 12 2019 at 15:45, on Zulip):

That was my main expectation as well, and I guess we could schedule async

nikomatsakis (Nov 12 2019 at 15:46, on Zulip):

skimming our last meeting I see

as three topics to start from?

nikomatsakis (Nov 12 2019 at 15:46, on Zulip):

something else I might like to do

nikomatsakis (Nov 12 2019 at 15:46, on Zulip):

is to review the work that @lqd has done on the datalog compiler and whether we can adopt that to help make iteration faster, as well as what we can do to simplify the current set of analyses

Albin Stjerna (Nov 12 2019 at 15:47, on Zulip):

I will strongly prefer not Monday and not Thursday, as I have to be TAing at least intermittently at a lab during 13-17 local time

Albin Stjerna (Nov 12 2019 at 15:47, on Zulip):

The other days I can take vacation if I need to (I still haven't talked to my PhD supervisor about this)

nikomatsakis (Nov 12 2019 at 15:57, on Zulip):

OK

nikomatsakis (Nov 12 2019 at 19:55, on Zulip):

So looking at my own schedule

nikomatsakis (Nov 12 2019 at 20:04, on Zulip):
nikomatsakis (Nov 12 2019 at 20:34, on Zulip):

I propose then that on Monday @lqd and I can talk about subset errors and placeholder loans

lqd (Nov 13 2019 at 09:38, on Zulip):

sounds good to me :)

lqd (Nov 13 2019 at 10:03, on Zulip):

(you may have seen the WIP PR for placeholder loans already ?)

nikomatsakis (Nov 13 2019 at 14:56, on Zulip):

I didn't, but I should take a look; also @lqd this thread from #wg-traits might interest you

lqd (Nov 13 2019 at 14:58, on Zulip):

yeah I read it earlier and was indeed interested :)

lqd (Nov 13 2019 at 14:59, on Zulip):

maybe if we can bang out e.g. placeholder loans quickly, we can talk about _those_ higher-ranked subtyping requirements a bit more

lqd (Nov 13 2019 at 15:03, on Zulip):

(I'd surely need to brush up on chalk by then -- as it's been a long time since I contributed to it -- among other things, like the https://github.com/nikomatsakis/teyjus-rust-region-solver prototype, and surely learn a lot more about everything, but I would love to help out for this wherever I can)

nikomatsakis (Nov 13 2019 at 19:15, on Zulip):

I was sort of imagining we might use some of the "polonius" time to explore that idea on chalk -- I may try to do some pre-hacking around that

nikomatsakis (Nov 13 2019 at 19:15, on Zulip):

I'll also check out your PR

Last update: Dec 12 2019 at 01:40UTC