Stream: t-compiler/wg-polonius

Topic: renaming


nikomatsakis (Sep 18 2019 at 19:56, on Zulip):

@lqd gonna merge https://github.com/rust-lang/polonius/pull/125, ok?

lqd (Sep 18 2019 at 19:57, on Zulip):

sure :)

lqd (Sep 18 2019 at 21:10, on Zulip):

step 2 PR posted https://github.com/rust-lang/polonius/pull/127 (out of 3/4 total steps I think — there are other single-letters uses in the graphviz/output code of the polonius binary, and the 2 files in polonius-engine Albin was working on, and which I wanted to leave for a while in case it conflicted with their work)

Albin Stjerna (Sep 19 2019 at 10:06, on Zulip):

@lqd nope go ahead!

lqd (Sep 19 2019 at 10:07, on Zulip):

thanks

lqd (Sep 19 2019 at 10:07, on Zulip):

I'll do that soon then

lqd (Sep 19 2019 at 16:49, on Zulip):

done, I've pushed to https://github.com/rust-lang/polonius/pull/127 and it should rename pretty much everything I think

Albin Stjerna (Sep 20 2019 at 11:57, on Zulip):

Yay! I saw your PR for cleaning up the dependencies as well, nice

Albin Stjerna (Sep 20 2019 at 11:58, on Zulip):

This also means I'll get to work tweaking initialisation next week, hopefully

Last update: Nov 15 2019 at 21:20UTC