Stream: t-compiler/wg-polonius

Topic: book


nikomatsakis (Aug 30 2019 at 14:35, on Zulip):

So I'm going to open a PR shortly that adds a "mdbook" to polonius

nikomatsakis (Aug 30 2019 at 14:35, on Zulip):

(It'd be great if someone wants to do the effort to make it render into gh-pages)

nikomatsakis (Aug 30 2019 at 14:35, on Zulip):

It doesn't have a lot of details, but I am realizing we really need to extract out the datalog rules into some clean format

nikomatsakis (Aug 30 2019 at 14:35, on Zulip):

and I think it should live in polonius repo for time being

nikomatsakis (Aug 30 2019 at 14:36, on Zulip):

(I had debated about rustc-guide, but it seems like we'll want to update it too much right now)

nikomatsakis (Aug 30 2019 at 14:36, on Zulip):

I'm finding it hard to discuss initialization etc without that

nikomatsakis (Aug 30 2019 at 17:56, on Zulip):

polonius#113

lqd (Aug 30 2019 at 18:40, on Zulip):

do we want to merge it now, to work on the "build it on CI" task, and add more content to it ?

nikomatsakis (Aug 30 2019 at 18:44, on Zulip):

@lqd that's my inclination

nikomatsakis (Aug 30 2019 at 18:44, on Zulip):

I'll try to put a bit more time into the "detailed rules" stuff, I want to try and use it to get my head back in this space

nikomatsakis (Aug 30 2019 at 18:44, on Zulip):

but no reason to not merge the PR in the meantime

lqd (Aug 30 2019 at 18:44, on Zulip):

let's do it then :)

nikomatsakis (Aug 30 2019 at 18:45, on Zulip):

I think @Pietro Albini can help with getting the CI permission stuff setup

nikomatsakis (Aug 30 2019 at 18:45, on Zulip):

it needs a deploy key or whatever

nikomatsakis (Aug 30 2019 at 18:45, on Zulip):

of which I still feel an unreasonable amount of fear

lqd (Aug 30 2019 at 18:45, on Zulip):

I'll find out how to build it on CI, pietro has a bunch of scripts

nikomatsakis (Aug 30 2019 at 18:45, on Zulip):

yeah

Pietro Albini (Aug 30 2019 at 18:45, on Zulip):

is it on the rust-lang org?

lqd (Aug 30 2019 at 18:45, on Zulip):

yes

lqd (Aug 30 2019 at 18:46, on Zulip):

I'll look at the compiler team repo, rustc-guide etc it's easy IIRC

Pietro Albini (Aug 30 2019 at 18:46, on Zulip):

yeah, you'll also need to run setup-deploy-keys from the rust-lang/simpleinfra repo

lqd (Aug 30 2019 at 18:47, on Zulip):

only admins can do that right ?

Pietro Albini (Aug 30 2019 at 18:47, on Zulip):

yep

lqd (Aug 30 2019 at 18:48, on Zulip):

I'll take care of the rest then :p

Pietro Albini (Aug 30 2019 at 18:50, on Zulip):

the deploy key should be ok in a few minutes

Pietro Albini (Aug 30 2019 at 18:50, on Zulip):

my laptop is a bit slow to compile the tool

lqd (Aug 30 2019 at 18:50, on Zulip):

dang I can't remember if bors worked in the polonius repo, let's try

lqd (Aug 30 2019 at 18:52, on Zulip):

(apparently not)

lqd (Aug 30 2019 at 18:54, on Zulip):

merged

Pietro Albini (Aug 30 2019 at 18:56, on Zulip):

the deploy key should be live

lqd (Aug 30 2019 at 18:57, on Zulip):

thanks Pietro (you should go enjoy your friday evening :)

Pietro Albini (Aug 30 2019 at 18:59, on Zulip):

:wave:

lqd (Aug 30 2019 at 20:44, on Zulip):

I _think_ this is how it's supposed to be done: https://github.com/rust-lang/polonius/pull/114 (?)

lqd (Aug 30 2019 at 20:51, on Zulip):

hopefully @Pietro Albini will tell me if it's not :)

Pietro Albini (Aug 30 2019 at 20:52, on Zulip):

you really don't want a review from me at 11pm

Pietro Albini (Aug 30 2019 at 20:52, on Zulip):

I'll check it out in the morning

lqd (Aug 30 2019 at 20:53, on Zulip):

but of course :) (it can also wait for monday or later no worries at all!)

nikomatsakis (Aug 30 2019 at 21:08, on Zulip):

my experience with these things @lqd is that you wind up having to do a few random commits to master before it works :P

nikomatsakis (Aug 30 2019 at 21:08, on Zulip):

but it looks roughly right to me

lqd (Aug 30 2019 at 21:08, on Zulip):

yeah I also expect that to happen :joy:

lqd (Aug 30 2019 at 21:09, on Zulip):

"final final final (copy) 2 .travis.yml"

lqd (Sep 03 2019 at 14:00, on Zulip):

the system works thanks @Pietro Albini

Pietro Albini (Sep 03 2019 at 14:01, on Zulip):

:tada:

lqd (Sep 03 2019 at 14:01, on Zulip):

:tada:

nikomatsakis (Sep 03 2019 at 19:02, on Zulip):

Nice!

lqd (Sep 06 2019 at 20:18, on Zulip):

I wonder how deep should the doc about inputs be ? here's what I have so far

lqd (Sep 12 2019 at 21:23, on Zulip):

@nikomatsakis btw feel free to let us know how we can help for your rustbelt rust talk

nikomatsakis (Sep 13 2019 at 18:51, on Zulip):

ugh I've not even thought about that yet :)

nikomatsakis (Sep 13 2019 at 18:51, on Zulip):

I .. probably should

nikomatsakis (Sep 13 2019 at 18:51, on Zulip):

also, I agreed to review some papers, which was..maybe unwise

Last update: Nov 15 2019 at 20:00UTC