Stream: wg-traits

Topic: rustc integration based on chalk-solve


nikomatsakis (Jan 06 2020 at 21:55, on Zulip):

So I created this github project for "rustc integration based on chalk-solve" and started populating it with cards.

nikomatsakis (Jan 06 2020 at 21:55, on Zulip):

Later on I'll try to go over the chalk issues and either close them, or link to cards, or maybe create new ones

nikomatsakis (Jan 06 2020 at 21:57, on Zulip):

But if folks are interested in pushing on this, it might be worth skimming over

nikomatsakis (Jan 06 2020 at 21:58, on Zulip):

One interesting question that I am pondering: my hope is that we'll develop a nice, ergonomic type library that is eventually just "the library" that we use for rust types, with the role of the TypeInterner trait being really just to define what kind of memory management strategy we want (and maybe to help us in code management, by letting us differentiate between "input" and "output" types and things).

nikomatsakis (Jan 06 2020 at 21:58, on Zulip):

That suggests that some details -- like the set of TypeName values, and perhaps ABIs for fn types -- really ought to be defined in chalk-ty and not "customizable"

detrumi (Jan 08 2020 at 18:51, on Zulip):

But if folks are interested in pushing on this, it might be worth skimming over

For sure, I can imagine it being a useful starting point for weekly syncs

detrumi (Jan 08 2020 at 18:51, on Zulip):

I think I'll just start with the Alias rename, since that's a pretty straightforward change

Last update: Jun 07 2020 at 10:30UTC