Stream: t-compiler/wg-incr-comp

Topic: fifth meeting


view this post on Zulip Julian-Wollersberger (Oct 19 2020 at 20:37):

Hi, I'm new here. Can I chime in on tomorrows meeting?

view this post on Zulip Wesley Wiser (Oct 19 2020 at 20:39):

Absolutely! Anyone interested is welcome to attend!

view this post on Zulip Wesley Wiser (Oct 19 2020 at 20:39):

I see there is Zoom info on the compiler team calendar but I'm not sure if it's accurate (we had issues with it last time).

@pnkfelix Do you know if the compiler team calendar is correct?

view this post on Zulip Julian-Wollersberger (Oct 19 2020 at 20:45):

Thanks!
(There is a link pnkfelix sent last week.)

view this post on Zulip Wesley Wiser (Oct 19 2020 at 20:55):

I'll go ahead and include what's on the calendar in case that's useful:

Join Zoom Meeting
https://zoom.us/j/91544128512?pwd=VTBiRVppdzBqdmNUc2JIY0hhV2pPdz09

Meeting ID: 915 4412 8512
Passcode: 387283

view this post on Zulip pnkfelix (Oct 19 2020 at 20:55):

Yeah I need to look into that. We have our meeting tomorrow

view this post on Zulip pnkfelix (Oct 19 2020 at 20:56):

That info looks right according to my Zoom app

view this post on Zulip pnkfelix (Oct 19 2020 at 20:57):

Okay it appears I have the credentials to start that meeting, so it should work for us tomorrow

view this post on Zulip DPC (Oct 19 2020 at 23:45):

i might not make it for tomorrow - haven't worked much on the issue assigned to me will get back to it once i'm done with some pr work :grinning:

view this post on Zulip oliver (Oct 19 2020 at 23:47):

I will watch the videos afterwards :laughing:

view this post on Zulip davidtwco (Oct 20 2020 at 12:01):

Meeting should be just now, right? @wg-incr-comp

view this post on Zulip Santiago Pastorino (Oct 20 2020 at 12:01):

I think so, I'm "waiting for host" on zoom

view this post on Zulip Wesley Wiser (Oct 20 2020 at 12:05):

Same

view this post on Zulip Julian-Wollersberger (Oct 20 2020 at 12:07):

I have a Zoom lizence. Should I start a meeting instead?

view this post on Zulip Julian-Wollersberger (Oct 20 2020 at 12:07):

Nevermind, the meeting started ^^

view this post on Zulip Wesley Wiser (Oct 20 2020 at 12:08):

https://hackmd.io/Ban950hJTRyKzmq9_7fHsg

view this post on Zulip Aaron Hill (Oct 20 2020 at 12:19):

https://github.com/rust-lang/rust/pull/75641

view this post on Zulip Aaron Hill (Oct 20 2020 at 12:23):

https://github.com/rust-lang/rust/blob/554633534c550d20715e5e1576702b1f035586ad/compiler/rustc_middle/src/dep_graph/mod.rs#L107-L111

view this post on Zulip Aaron Hill (Oct 20 2020 at 12:32):

https://github.com/rust-lang/rust/blob/554633534c550d20715e5e1576702b1f035586ad/compiler/rustc_session/src/session.rs#L215

view this post on Zulip Wesley Wiser (Oct 21 2020 at 16:01):

I mentioned on the call that I was writing up a comment before approving @Santiago Pastorino's PR. Well that comment turned into a small document as I dug into the data. I'd appreciate it if a few others could take a look and see if the analysis makes sense and if you agree with my conclusions. Thanks!

https://hackmd.io/xT9WrXgOQLarYRGrV8Hqog

view this post on Zulip Santiago Pastorino (Oct 21 2020 at 16:11):

@Wesley Wiser makes sense to me

view this post on Zulip davidtwco (Oct 21 2020 at 16:14):

likewise

view this post on Zulip Wesley Wiser (Oct 22 2020 at 00:16):

Thanks!

view this post on Zulip pnkfelix (Oct 22 2020 at 13:17):

@Wesley Wiser regarding the parts of the hackmd labelled "CGU Issue 1" and "CGU Issue 2": are there actual github issues filed for each of these problems? That is, I assume these are things we should track at the very least; and if we actually think we might be able to address them, then it would be helpful to have github issues if only to serve as "global" unique identifiers for them?

view this post on Zulip Wesley Wiser (Oct 22 2020 at 13:19):

Yeah, that's a great idea. I'm not aware of any existing issues tracking that so I can create some.

view this post on Zulip Wesley Wiser (Oct 22 2020 at 13:20):

"Issue" is perhaps too strong a word. It's more that the existing behavior is suboptimal in certain cases. Regardless, we use issues to track other enhancements so that seems fine to me.

view this post on Zulip Santiago Pastorino (Oct 22 2020 at 16:25):

btw does #76896 needs a @bors retry or what's going on?

view this post on Zulip DPC (Oct 22 2020 at 21:50):

it's not spurious though

view this post on Zulip pnkfelix (Oct 28 2020 at 15:31):

a little overdue: https://youtu.be/aw629QKeSjQ


Last updated: Oct 21 2021 at 21:02 UTC