Stream: t-compiler/major changes

Topic: compiler-team#276 Major change proposal: Support collecting


triagebot (Apr 18 2020 at 03:15, on Zulip):

A new proposal has been announced #276. It will be brought up at the next meeting.

nikomatsakis (Apr 18 2020 at 11:26, on Zulip):

Hmm, @Charles Lew, did you have any thoughts about how to implement this proposal?

nikomatsakis (Apr 18 2020 at 11:26, on Zulip):

It's going to be tricky to combine with incremental compilation

nikomatsakis (Apr 18 2020 at 11:26, on Zulip):

Well, not necessarily, you can certainly have a query that works the entire AST or something

nikomatsakis (Apr 18 2020 at 11:27, on Zulip):

which we would usually write as one that walks each function and invokes a sub-query, to actually get some caching

nikomatsakis (Apr 18 2020 at 11:27, on Zulip):

there are also other annoying details, like #[cfg] to consider

simulacrum (Apr 18 2020 at 15:25, on Zulip):

Hm it seems like this is the kind of thing that at least in theory could run at resolution time, rather than trying to collect everything?

simulacrum (Apr 18 2020 at 15:25, on Zulip):

unless I misunderstood and we specifically want to do something like "compare against all other defined idents"

simulacrum (Apr 18 2020 at 15:26, on Zulip):

ah yes, I see the RFC now as well

simulacrum (Apr 18 2020 at 15:26, on Zulip):

It feels ... plausible that this could be embedded into resolution though. We have a pretty global view of all idents there I think

Last update: May 07 2021 at 07:15UTC