Stream: t-compiler/major changes

Topic: [major change] MIR librarification compiler-team#233

nikomatsakis (May 05 2020 at 10:22, on Zulip):

So @oli -- this is a pretty old proposal -- any thoughts on it now?

oli (May 05 2020 at 12:42, on Zulip):

I'm not sure without testing that we'll get actual benefits from this until there are more consumers of MIR. I think we can close it until we see a concrete use case

nikomatsakis (May 05 2020 at 13:02, on Zulip):


nikomatsakis (May 05 2020 at 13:02, on Zulip):

I think I agree, although I do want to see this happen

nikomatsakis (May 05 2020 at 13:02, on Zulip):

I was hoping to start leading the way towards extracting the type system into a library, maybe that's a good pre-req regardless

nikomatsakis (May 05 2020 at 13:03, on Zulip):

for example, maybe we want a MIR library to actually just reference a type library, and be generic over the I: Interner and not over types?

oli (May 05 2020 at 13:10, on Zulip):

that would at least be an easier first step than what I had in mind

Last update: May 07 2021 at 07:15UTC