Stream: t-compiler/wg-nll

Topic: integrating-borrow-check-and-rustc


nikomatsakis (May 16 2018 at 08:40, on Zulip):

@pnkfelix @qmx so, in an effort to test my in-flight changes for #24, I rebased my old commit that integrates the timely code and rustc (well, mostly)

nikomatsakis (May 16 2018 at 08:40, on Zulip):

it's not something we can land but I thought it might be interesting to look at for reference

nikomatsakis (May 16 2018 at 08:40, on Zulip):

I'm still fixing one or two things

nikomatsakis (May 16 2018 at 08:43, on Zulip):

you can see the commit though at the tip of the nll-alias-analysis-no-loc-all branch

nikomatsakis (May 16 2018 at 08:44, on Zulip):

I think it builds now...

nikomatsakis (May 16 2018 at 08:46, on Zulip):

I envision the code in the src/librustc_mir/borrow_check/nll/borrows_in_scope/mod.rs module coming instead from the borrow-check library

pnkfelix (May 16 2018 at 12:42, on Zulip):

so here's a true bikeshed starter ...

pnkfelix (May 16 2018 at 12:42, on Zulip):

The name "borrow-check" for this repo/code is ... unfortunate ...

pnkfelix (May 16 2018 at 12:42, on Zulip):

because that phrase aliases so many other things

qmx (May 16 2018 at 12:42, on Zulip):

hahahahah

qmx (May 16 2018 at 12:43, on Zulip):

the entire rust project is a trove of unfortunate naming, isn't it? :P

pnkfelix (May 16 2018 at 12:43, on Zulip):

I'm not suggesting we go so far as to rename the repo

pnkfelix (May 16 2018 at 12:43, on Zulip):

but what's a good "code name" to use for things like debugflags for the integration

pnkfelix (May 16 2018 at 12:43, on Zulip):

?

qmx (May 16 2018 at 12:43, on Zulip):

I was calling it borrowck already and was like, wait, that's not it :P

pnkfelix (May 16 2018 at 12:43, on Zulip):

timely-check?

nikomatsakis (May 16 2018 at 12:43, on Zulip):

I chose the name because this was intended to double as the "official spec" of borrow-check

nikomatsakis (May 16 2018 at 12:44, on Zulip):

but I suppose that a catchy name like chalk would be better

pnkfelix (May 16 2018 at 12:44, on Zulip):

maybe I'll just go with subprocess-borrowck

nikomatsakis (May 16 2018 at 12:44, on Zulip):

has to have a Greek theme ;)

pnkfelix (May 16 2018 at 12:44, on Zulip):

or something similarly stupid that just is long and "self-documenting"

qmx (May 16 2018 at 12:44, on Zulip):

@nikomatsakis thanos is pretty popular nowadays

qmx (May 16 2018 at 12:44, on Zulip):

/me shows himself the door

pnkfelix (May 16 2018 at 12:45, on Zulip):

OMG Proxima Midnight!

pnkfelix (May 16 2018 at 12:45, on Zulip):

done!

nikomatsakis (May 16 2018 at 12:45, on Zulip):

you all have lost me now

pnkfelix (May 16 2018 at 12:45, on Zulip):

-Z proxima-borrowck

pnkfelix (May 16 2018 at 12:46, on Zulip):

@nikomatsakis "Thanos" is a reference to "Avengers: Infinity War"

nikomatsakis (May 16 2018 at 12:46, on Zulip):

/me reads Proxima Midnight

nikomatsakis (May 16 2018 at 12:46, on Zulip):

@nikomatsakis "Thanos" is a reference to "Avengers: Infinity War"

that much I knew

pnkfelix (May 16 2018 at 12:46, on Zulip):

Really, "Thanos" has been a recurring character throughout many of the MCU movies

pnkfelix (May 16 2018 at 12:46, on Zulip):

but Proxima Midnight was specific to the most recent movie

Jake Goulding (May 16 2018 at 13:31, on Zulip):

I heard that the acronym "OIBIT" has been recently freed up, could reuse that

csmoe (May 16 2018 at 13:33, on Zulip):

how about a short name like zhi
:laughing:

nikomatsakis (May 16 2018 at 13:34, on Zulip):

I want some kind of pun on "neither borrower nor lender be" but ...

nikomatsakis (May 16 2018 at 13:34, on Zulip):

nbnlb — such a catchy name!

nikomatsakis (May 16 2018 at 13:35, on Zulip):

actually, maybe we can call it Polonius ?

nikomatsakis (May 16 2018 at 13:35, on Zulip):

that's the character who says that (apparently)

Last update: Nov 21 2019 at 13:40UTC