Stream: t-compiler/wg-nll

Topic: weekly meeting 2019.03.27


pnkfelix (Mar 27 2019 at 11:42, on Zulip):

A quick Q for @WG-nll : should we bother with a formal meeting tonight? Should we plan to just cancel the current meeting slot? I can continue triaging issues as I have been doing, but I am not sure we are getting much value out of the meeting at this point, and I'd love to free up my Wednesday evenings.

lqd (Mar 27 2019 at 11:44, on Zulip):

as you wish, I guess we can have "office hours" (I'm assuming it means questions/talking amongst ourselves) in a mostly async manner on zulip efficiently (eg as we've been doing for the higher-rank / universes errors) ?

davidtwco (Mar 27 2019 at 11:53, on Zulip):

I think that makes sense.

pnkfelix (Mar 27 2019 at 13:27, on Zulip):

I guess we can have "office hours" (I'm assuming it means questions/talking amongst ourselves) in a mostly async manner on zulip efficiently

Yes, I think either (1.) async assistance, or (2.) one-off synchronous chats scheduled in an ad-hoc manner as needed, seems to make more sense right now than a standing meeting for them.

Santiago Pastorino (Mar 27 2019 at 14:20, on Zulip):

lately I was not that involved with nll so whatever you decide would be ok

Santiago Pastorino (Mar 27 2019 at 14:20, on Zulip):

after Rust Latam I need to see what to do, main thing is to invest time to finish Place 2.0

Matthew Jasper (Mar 27 2019 at 19:46, on Zulip):

@pnkfelix are you planning to update #59159 with the changes described in https://github.com/rust-lang/rust/pull/58739#issuecomment-476387184 ?

pnkfelix (Mar 27 2019 at 19:49, on Zulip):

@Matthew Jasper I’m confused: i reviewed the PR and thought you had already made the necessary changes. (Did I dream this?)

Matthew Jasper (Mar 27 2019 at 19:50, on Zulip):

"The associated issue includes a history of the event and a statement that we will, prior to converting to a hard error, be doing a more thorough evaluation of the models" - I'm talking about this

pnkfelix (Mar 27 2019 at 19:50, on Zulip):

Oh you are talking about the tracking issue

pnkfelix (Mar 27 2019 at 19:50, on Zulip):

I’ll take care of that, yes

pnkfelix (Mar 27 2019 at 19:50, on Zulip):

Not sure if it will happen tonight; but it will happen tomorrow at the latest

centril (Mar 27 2019 at 19:52, on Zulip):

btw... re. https://github.com/rust-lang/rust/pull/59114, we should discuss this on T-lang mtg tomorrow and plot the course ahead

pnkfelix (Mar 28 2019 at 06:37, on Zulip):

@centril it’s blocked on the 2-phase borrow PR, which only started FCP 2 days ago, so that won’t be merged for (at least) 5 days

centril (Mar 28 2019 at 06:43, on Zulip):

@pnkfelix we can start the process for the 2015 PR in parallel to speed it up

pnkfelix (Mar 28 2019 at 11:21, on Zulip):

"The associated issue includes a history of the event and a statement that we will, prior to converting to a hard error, be doing a more thorough evaluation of the models" - I'm talking about this

okay that was a fun task. (done now, its in the description for #59159)

centril (Mar 28 2019 at 11:26, on Zulip):

@pnkfelix if this PLT/compiler development thing doesn't work out for you, you can always try out as a historian ;)

pnkfelix (Mar 28 2019 at 11:27, on Zulip):

its that or professional YouTuber

pnkfelix (Mar 28 2019 at 11:28, on Zulip):

I kept rewriting the dates at the top of the history with 2019-03-xx, then "correcting" to 2018-03-xx... and then eventually realizing "no... no... this has been going on for over two years..."

lqd (Mar 28 2019 at 11:35, on Zulip):

the dates at the bottom should be 2019 ?

pnkfelix (Mar 28 2019 at 11:41, on Zulip):

ah yes thank you @lqd

centril (Apr 04 2019 at 22:00, on Zulip):

@Matthew Jasper https://github.com/rust-lang/rust/pull/58739#issuecomment-480078714 -- haha! such timing

Matthew Jasper (Apr 04 2019 at 22:01, on Zulip):

I want this over with.

Matthew Jasper (Apr 04 2019 at 22:01, on Zulip):

a lot

Matthew Jasper (Apr 04 2019 at 22:04, on Zulip):

Now, I just need two more ticks for #59114

Matthew Jasper (Apr 04 2019 at 22:04, on Zulip):

(and another 10 days)

centril (Apr 04 2019 at 23:11, on Zulip):

@Matthew Jasper thanks for sticking with this!

centril (Apr 04 2019 at 23:12, on Zulip):

I really love #59114

Last update: Nov 21 2019 at 13:30UTC