Stream: wg-traits

Topic: meeting 2019.06.10


nikomatsakis (Jun 10 2019 at 18:04, on Zulip):

Hey @WG-traits =)

nikomatsakis (Jun 10 2019 at 18:04, on Zulip):

Anybody care to share some updates from last week? I have a few...

nikomatsakis (Jun 10 2019 at 18:06, on Zulip):

First off, I've been kind of slammed as usual, trying to dig our way out from some regressions around rustc and juggling a few pother things. But one of those pertains to rustc's trait solver -- I'm working on fixing some of the extreme slowdown I introduced when fixing up a caching bug.

scalexm (Jun 10 2019 at 18:06, on Zulip):

I have none, but go ahead

nikomatsakis (Jun 10 2019 at 18:06, on Zulip):

I've got a vague plan around region obligations

nikomatsakis (Jun 10 2019 at 18:06, on Zulip):

It's perhaps more than vague

nikomatsakis (Jun 10 2019 at 18:06, on Zulip):

I've not have time to try and write it up, though we could potentially use the meeting slot today to talk about it

nikomatsakis (Jun 10 2019 at 18:07, on Zulip):

I just merged chalk#229, the floundering PR

nikomatsakis (Jun 10 2019 at 18:09, on Zulip):

regarding region obligations, though, it doesn't feel to me like the biggest blocker -- one thing I realized is

nikomatsakis (Jun 10 2019 at 18:09, on Zulip):

as we transition to NLL

nikomatsakis (Jun 10 2019 at 18:09, on Zulip):

the "initial" set of chalk processing will take place with regions basically erased, I expect

nikomatsakis (Jun 10 2019 at 18:11, on Zulip):

I was thinking again about using the RLS integration, which I know has encountered its share of problems, to help drive our overall stategy -- the idea being to kind of just ignore regions for now. At minimum these are two things we could do in parallel.

nikomatsakis (Jun 10 2019 at 18:11, on Zulip):

anyway, I saw @Sunjay Varma opened a PR, and I think I still owe @Keith Yeung some feedback

matklad (Jun 10 2019 at 18:12, on Zulip):

I just merged chalk#229, the floundering PR

Should I update chalk in rust-analyzer and check if anything dies in flames? That is probably better left to @Florian Diebold , but, if the API of chalk is the same, I can certainly run cargo update -p chalk :D

tmandry (Jun 10 2019 at 18:12, on Zulip):

Just curious, what's the status of chalk integration in rust-analyzer?

Sunjay Varma (Jun 10 2019 at 18:13, on Zulip):

My only update is the PR which still needs some work before it can be merged. There's a few questions in there for you if you could answer them at some point when you have time :smile:

nikomatsakis (Jun 10 2019 at 18:15, on Zulip):

Just curious, what's the status of chalk integration in rust-analyzer?

@matklad or @Florian Diebold would be better positioned to speak to that. I know they encountered some problems because chalk was doing too much work and needed a way to "cancel" (something floundering may help address also), but I've not had time to dig in much more than that

nikomatsakis (Jun 10 2019 at 18:15, on Zulip):

(One thing worth bringing up: I'll be on vacation July 16-Aug 2 or so.)

nikomatsakis (Jun 10 2019 at 18:15, on Zulip):

(Not sure yet how active I will be then.)

nikomatsakis (Jun 10 2019 at 18:17, on Zulip):

Actually, I see this is the end of the current sprint -- I don't think the sprints have worked out that well, though I think that's in large part owing to an overall lack of time.

matklad (Jun 10 2019 at 18:17, on Zulip):

So, we do use chalk in rust-analyzer, it works (as in, it is actually used during completion). We haven't added all of the stuff (in particular, we ignore associated types for the time being). And yeah, we do see significant perf problem with chalk

matklad (Jun 10 2019 at 18:18, on Zulip):

If any folks here want to get involved with integrating chalk and RA, I am happy to mentor :smile_cat:

nikomatsakis (Jun 10 2019 at 18:19, on Zulip):

So next week is the mozilla all hands

nikomatsakis (Jun 10 2019 at 18:19, on Zulip):

which means I won't be around at this time, most likely

nikomatsakis (Jun 10 2019 at 18:23, on Zulip):

I'm trying to collect my thoughts here and feeling uncertain. I feel like it's time for another kind of "census-taking" of all the things and trying to shape the roadmap again. However, it probably does't make sense to try and do that now -- for one thing, I expect to be meeting with @Aaron Turon next week, and we are going to see whether he winds up having time to devote to this effort or what. (Not yet decided.)

nikomatsakis (Jun 10 2019 at 18:25, on Zulip):

let me ask this question -- does anybody want to jump on zoom in a few minutes to talk about how to handle region obligations (or other things)?

nikomatsakis (Jun 10 2019 at 18:25, on Zulip):

not sure if that's the best use of time from my own perspective, though, but I'm curious if there are people who are around regardless.

nikomatsakis (Jun 10 2019 at 18:26, on Zulip):

( alternatively, I could try to finish a blog post on it )

scalexm (Jun 10 2019 at 18:26, on Zulip):

probably not available for zoom (on my phone right now)

nikomatsakis (Jun 10 2019 at 18:28, on Zulip):

OK

nikomatsakis (Jun 10 2019 at 18:31, on Zulip):

Hmm. I think i'll try to use the time to do some prep work and maybe try to write-up some thoughts.

selfmover (Jun 11 2019 at 20:15, on Zulip):

@matklad I'd love to help out!

Sunjay Varma (Jun 13 2019 at 14:54, on Zulip):

@nikomatsakis Could you respond to the questions I asked on my PR when you get a chance? Need some guidance in order to finish it

Alexander Regueiro (Jun 17 2019 at 19:04, on Zulip):

no meeting today?

Sunjay Varma (Jun 17 2019 at 19:08, on Zulip):

Niko is away so probably not

Sunjay Varma (Jun 17 2019 at 19:08, on Zulip):

Maybe next week?

Alexander Regueiro (Jun 17 2019 at 19:21, on Zulip):

Oh again? I thought he was away the last two weeks...

Sunjay Varma (Jun 17 2019 at 19:30, on Zulip):

I think he may have just been busy the last few weeks, he's gone (on vacation maybe?) this whole week

Wesley Wiser (Jun 17 2019 at 19:36, on Zulip):

It's mozilla all-hands so most of the mozilla people are probably going to be afk this week.

Alexander Regueiro (Jun 17 2019 at 21:24, on Zulip):

Ah, I see. Thanks.

Alexander Regueiro (Jun 17 2019 at 21:24, on Zulip):

Thought that was last week for some reason.

Last update: Nov 12 2019 at 15:35UTC