Stream: t-compiler/wg-diagnostics

Topic: borrowck vocabulary


nikomatsakis (Oct 26 2018 at 17:57, on Zulip):

@Esteban Küber something that's been on my mind which never got done: I'd like to revisit the borrow check error messages more holistically and try to review them for consistent use of terminology, as well as stylistically.

I wonder if you (or maybe some folks from @WG-compiler-nll) would be interested in scheduling an hour or two to do a video call on this topic. I feel like I need something to force me to do it :P

Matthew Jasper (Oct 26 2018 at 18:15, on Zulip):

I would be interested

davidtwco (Oct 26 2018 at 18:20, on Zulip):

I’d also be interested.

varkor (Oct 26 2018 at 18:24, on Zulip):

is this the long-awaited opportunity to start phasing in "loaning"? ;)

Matthew Jasper (Oct 26 2018 at 18:25, on Zulip):

And revert to "regions".

nikomatsakis (Oct 26 2018 at 18:30, on Zulip):

lol

nikomatsakis (Oct 26 2018 at 18:30, on Zulip):

not quite what I had in mind ;)

Esteban Küber (Oct 26 2018 at 22:27, on Zulip):

I'll be down for it. When would the people here have time for it?

Matthew Jasper (Oct 26 2018 at 22:35, on Zulip):

A similar time to the current NLL meeting (adjusted with the clocks in Europe), on a different day.

davidtwco (Oct 26 2018 at 22:36, on Zulip):

(that's currently 19:30 UTC - before the clocks change this weekend)

Matthew Jasper (Oct 26 2018 at 22:37, on Zulip):

Yes, so 20:00/20:30 UTC or so if it happens in the next couple of weeks

nikomatsakis (Nov 12 2018 at 20:29, on Zulip):

(Note: I still want to circle back to this, but it may have to wait a bit)

Last update: Nov 15 2019 at 09:55UTC