Stream: t-compiler/wg-nll

Topic: name-for-borrow-check-project


nikomatsakis (May 17 2018 at 12:39, on Zulip):

@pnkfelix ok seriously what do you think of Polonius as the name of the project ("neither borrower nor lender be")? After all, according to Wikipedia, he is generally regarded as "wrong in every judgment he makes" — and we all know you should borrow and lend freely :)

nikomatsakis (May 17 2018 at 12:39, on Zulip):

I do like the idea of a fun name :)

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

do it do it

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

oh thats lovely

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

done https://github.com/rust-lang-nursery/polonius

pnkfelix (May 17 2018 at 12:49, on Zulip):

Cargo.toml still says "borrow-check". Is that staying the same? (This matters since the default name for the binary to execute is going to end up in my PR)

pnkfelix (May 17 2018 at 12:50, on Zulip):

(I'm happy with either call on that front)

nikomatsakis (May 17 2018 at 12:50, on Zulip):

oh, we should change it

nikomatsakis (May 17 2018 at 12:50, on Zulip):

PR welcome

nikomatsakis (May 17 2018 at 12:50, on Zulip):

well, I don't actually care tbh

pnkfelix (May 17 2018 at 12:50, on Zulip):

/me debates doing it via github web interface

nikomatsakis (May 17 2018 at 12:50, on Zulip):

but it seems like it might as well match

pnkfelix (May 17 2018 at 12:50, on Zulip):

/me (and just completely failing to test it)

qmx (May 17 2018 at 12:57, on Zulip):

testing it here

qmx (May 17 2018 at 12:59, on Zulip):

I can put a PR for changing the names

qmx (May 17 2018 at 13:05, on Zulip):

good, doing that now :)

qmx (May 17 2018 at 13:13, on Zulip):

https://github.com/rust-lang-nursery/polonius/pull/33

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

lovin' it

lqd (May 17 2018 at 13:47, on Zulip):

also works for jazz, eg "polonius monk"

Last update: Nov 21 2019 at 13:10UTC