Stream: wg-traits

Topic: weekly meeting 2018-11-26


nikomatsakis (Nov 26 2018 at 19:06, on Zulip):

Hello @WG-compiler-traits :wave:

As always: Dropbox paper doc

Also, a note: If you want to be added to the @WG-compiler-traits alias, just ask.

nikomatsakis (Nov 26 2018 at 19:10, on Zulip):

BTW, @scalexm, awesome news about getting the first chalk example to run!

scalexm (Nov 26 2018 at 19:12, on Zulip):

@nikomatsakis I got more complex programs to run than this one actually

nikomatsakis (Nov 26 2018 at 19:12, on Zulip):

example?

scalexm (Nov 26 2018 at 19:12, on Zulip):

but there are some unknowns that we should discuss

scalexm (Nov 26 2018 at 19:13, on Zulip):

things like

trait Foo { }
impl<T> Foo for (i32, T) { }

fn foo<T: Foo>()

fn main() {
    foo::<(i32, u32)>();
    foo::<(u32, u32)>(); //~ ERROR
}
scalexm (Nov 26 2018 at 19:13, on Zulip):

or with super traits, projections etc

scalexm (Nov 26 2018 at 19:13, on Zulip):

well basically WF-checking seems to work

scalexm (Nov 26 2018 at 19:14, on Zulip):

implied bounds work too which is funny :p

nikomatsakis (Nov 26 2018 at 19:17, on Zulip):

implied bounds work too which is funny :p

:) I guess that's expected

nikomatsakis (Nov 26 2018 at 19:19, on Zulip):

we're a chatty bunch this week :)

nikomatsakis (Nov 26 2018 at 19:20, on Zulip):

so @scalexm I guess the current status from your side is that we need to look at that perf regression, and I need to review your PR

scalexm (Nov 26 2018 at 19:21, on Zulip):

@nikomatsakis yes

nikomatsakis (Nov 26 2018 at 19:24, on Zulip):

ok

scalexm (Nov 26 2018 at 19:24, on Zulip):

mmh @nikomatsakis I see a failure on your universes PR

nikomatsakis (Nov 26 2018 at 19:24, on Zulip):

indeed

nikomatsakis (Nov 26 2018 at 19:24, on Zulip):

needs a bless run

nikomatsakis (Nov 26 2018 at 19:25, on Zulip):

we should also discuss whether to modify the canonicalizer behavior w/r/t region variables I guess

scalexm (Nov 26 2018 at 19:25, on Zulip):

also depends on whether we might want to back out the change in the placeholders PR :p

nikomatsakis (Nov 26 2018 at 19:25, on Zulip):

yes

nikomatsakis (Nov 26 2018 at 19:25, on Zulip):

I'd be inclined to start by putting all existentials in root universe, maybe unless -Zuse-chalk or whatever is given

tmandry (Dec 03 2018 at 14:57, on Zulip):

FYI I’ve been interviewing last week and this week, so I won’t make the meeting today.

scalexm (Dec 03 2018 at 17:14, on Zulip):

Hey, probably won’t be able to make today’s meeting either, I’ll update Dropbox notes

scalexm (Dec 03 2018 at 17:15, on Zulip):

Meanwhile please note that I have opened chalk-integration PR

Last update: Nov 18 2019 at 00:40UTC