Stream: t-compiler/wg-nll

Topic: weekly meeting November 20


nikomatsakis (Nov 20 2018 at 20:32, on Zulip):

Hi :wave: @WG-compiler-nll

nikomatsakis (Nov 20 2018 at 20:32, on Zulip):

Triage document: link

nikomatsakis (Nov 20 2018 at 20:35, on Zulip):

So a couple of things

nikomatsakis (Nov 20 2018 at 20:35, on Zulip):

First off, I sketched out some notes for "what's next"

nikomatsakis (Nov 20 2018 at 20:35, on Zulip):

now that NLL is shipping

nikomatsakis (Nov 20 2018 at 20:35, on Zulip):

or very nearly shipping

nikomatsakis (Nov 20 2018 at 20:35, on Zulip):

secondly,

nikomatsakis (Nov 20 2018 at 20:36, on Zulip):

we should talk about how we organize etc

nikomatsakis (Nov 20 2018 at 20:36, on Zulip):

for one thing, I may not be able to make this time slot every week anymore

nikomatsakis (Nov 20 2018 at 20:36, on Zulip):

my sense is that there is actually still a fair amount of work to be done around NLL

nikomatsakis (Nov 20 2018 at 20:36, on Zulip):

though it may make sense to "take a break"

nikomatsakis (Nov 20 2018 at 20:37, on Zulip):

let the current code sit, fix some bugs

nikomatsakis (Nov 20 2018 at 20:37, on Zulip):

and start to "revisit" after that

nikomatsakis (Nov 20 2018 at 20:37, on Zulip):

(among other things, I feel like there is lots of code cleanup to be done)

nikomatsakis (Nov 20 2018 at 20:37, on Zulip):

some of which @Matthew Jasper already started in on :)

nikomatsakis (Nov 20 2018 at 20:38, on Zulip):

but we've also just not completely removed the old system

nikomatsakis (Nov 20 2018 at 20:38, on Zulip):

anyway, re: the time slot, it seems like there aren't so many of us attending anymore anyway

nikomatsakis (Nov 20 2018 at 20:38, on Zulip):

so I imagine we can find a new slot

davidtwco (Nov 20 2018 at 20:39, on Zulip):

I'm fairly flexible w/r/t time, as long as I'm not asleep when it happens I can probably attend.

nikomatsakis (Nov 20 2018 at 20:40, on Zulip):

thoughts on what we should be doing over the next few weeks?

Some things to consider:

Santiago Pastorino (Nov 20 2018 at 20:40, on Zulip):

I'm fairly flexible w/r/t time, as long as I'm not asleep when it happens I can probably attend.

yeah me too

Matthew Jasper (Nov 20 2018 at 20:40, on Zulip):

I like the current time, but don't mind which day we choose.

nikomatsakis (Nov 20 2018 at 20:41, on Zulip):

ok

Santiago Pastorino (Nov 20 2018 at 20:41, on Zulip):

I like the current time, but don't mind which day we choose.

same for me

nikomatsakis (Nov 20 2018 at 20:41, on Zulip):

I could do wed at this time I think

Santiago Pastorino (Nov 20 2018 at 20:41, on Zulip):

thoughts on what we should be doing over the next few weeks?

Some things to consider:

I was wondering what to do after this issue I'm working on

Santiago Pastorino (Nov 20 2018 at 20:41, on Zulip):

I can jump into the Place thing

nikomatsakis (Nov 20 2018 at 20:41, on Zulip):

a good question

Santiago Pastorino (Nov 20 2018 at 20:41, on Zulip):

unsure what else do you consider important

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

last week we were talking about the NLL-sound things

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

that is, these issues

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

it's still be nice to close those out

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

some of them are non-trivial

Santiago Pastorino (Nov 20 2018 at 20:42, on Zulip):

:+1:

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

maybe @Santiago Pastorino we can work through https://github.com/rust-lang/rust/issues/55511

nikomatsakis (Nov 20 2018 at 20:42, on Zulip):

it'd be nice for @davidtwco's current PR to land first probably

Santiago Pastorino (Nov 20 2018 at 20:43, on Zulip):

maybe @Santiago Pastorino we can work through https://github.com/rust-lang/rust/issues/55511

sure

davidtwco (Nov 20 2018 at 20:43, on Zulip):

As much as I said I'd like to have had that done last week, I'd like to get that in over the next day or so.

nikomatsakis (Nov 20 2018 at 20:44, on Zulip):

I think for myself what I would like to do — and I may try to do it today, though I may wind up just doing reviews intead — is to try and sketch out some next steps around removing uses of the old borrow checker and moving to polonius

nikomatsakis (Nov 20 2018 at 20:44, on Zulip):

it's been hard to find a space of time to concentrate on that

nikomatsakis (Nov 20 2018 at 20:44, on Zulip):

basically I want to try and map out a roadmap

nikomatsakis (Nov 20 2018 at 20:48, on Zulip):

well, maybe that's enough for this week?

nikomatsakis (Nov 20 2018 at 20:48, on Zulip):

it's good to have a quiet week sometimes :smile:

davidtwco (Nov 20 2018 at 20:51, on Zulip):

Sounds good, I'm sure things are busy with the wednesday cutoff this week for 2018.

Santiago Pastorino (Nov 20 2018 at 20:51, on Zulip):

sounds great @nikomatsakis

davidtwco (Nov 20 2018 at 20:51, on Zulip):

We should make a poll of some sort to schedule the next meeting though.

nikomatsakis (Nov 20 2018 at 20:55, on Zulip):

yeah I suppose, or we could just opt for wednesday at this same time slot

Keith Yeung (Nov 20 2018 at 20:56, on Zulip):

fine with me

davidtwco (Nov 20 2018 at 20:56, on Zulip):

Wednesday same time works for me.

Santiago Pastorino (Nov 20 2018 at 20:56, on Zulip):

fine for me too

nikomatsakis (Nov 20 2018 at 20:57, on Zulip):

let's just do that

nikomatsakis (Nov 20 2018 at 20:57, on Zulip):

I've done enough doodle polls in my life

nikomatsakis (Nov 20 2018 at 20:57, on Zulip):

I have no desire to do another :P

nikomatsakis (Nov 20 2018 at 20:57, on Zulip):

we can always change it again

davidtwco (Nov 20 2018 at 20:59, on Zulip):

I updated the NLL tracking issue with the new day.

nikomatsakis (Nov 20 2018 at 21:00, on Zulip):

oh, thanks, I was just about to go do that :)

Keith Yeung (Nov 20 2018 at 21:06, on Zulip):

looks like the remaining NLL-sound issues are mostly spun off from #47184

Keith Yeung (Nov 20 2018 at 21:07, on Zulip):

that, or it's being blocked by other things external to NLL

Keith Yeung (Nov 20 2018 at 21:09, on Zulip):

perhaps we can also dive into :frog: if we so desire

Keith Yeung (Nov 20 2018 at 21:10, on Zulip):

(or let :frog: dive into you, whichever fits)

nikomatsakis (Nov 20 2018 at 21:13, on Zulip):

I'm caught up now in some beta backports but I'd love to start talking about the :frog: roadmap -- perhaps next week

blitzerr (Nov 20 2018 at 21:32, on Zulip):

What is that emoji ? I'm not hip enough to figure that out :grinning:

Keith Yeung (Nov 20 2018 at 21:32, on Zulip):

:frog: is polonius

Keith Yeung (Nov 20 2018 at 21:32, on Zulip):

https://github.com/rust-lang-nursery/polonius

Keith Yeung (Nov 20 2018 at 21:33, on Zulip):

because the underlying logic engine used for polonius is something called datafrog

blitzerr (Nov 20 2018 at 21:33, on Zulip):

I thought polonius was there character from Hamlet and that's what we named the new borrow checker on :big_smile:

Keith Yeung (Nov 20 2018 at 21:35, on Zulip):

polonius has many names, :frog: is one of them

blitzerr (Nov 20 2018 at 21:39, on Zulip):

Good to know

blitzerr (Nov 20 2018 at 21:39, on Zulip):

Thanks @Keith Yeung :grinning:

lqd (Nov 21 2018 at 22:41, on Zulip):

(sorry for not being able to come to the meetings recently, feel free to ping me if anybody needs to, polonius or anything, and I will find the time to answer)

Last update: Nov 21 2019 at 14:15UTC