Stream: t-compiler/wg-polonius

Topic: meeting 2019.11.26


lqd (Nov 25 2019 at 11:24, on Zulip):

hey all, after the "polonius work week" I'm going to be a bit swamped at work, and since Niko won't be attending either, I propose we do the updates async, what do you think ?
Not sure how far I am going to get but I'd like to:

lqd (Nov 25 2019 at 21:04, on Zulip):

polonius#137 seems ready, merging :tada:

lqd (Nov 25 2019 at 21:19, on Zulip):

I'll prepare a version-bump PR, maybe Matthew or Albin can review it whenever they have the time (I'm not pinging either of you, it's late :) — and will try to publish ( :fingers_crossed:)

lqd (Nov 25 2019 at 21:29, on Zulip):

said PR https://github.com/rust-lang/polonius/pull/140

lqd (Nov 25 2019 at 21:46, on Zulip):

@Jake Goulding I was also confused by this. I can also bump to a "real" 0.6 and change the releases.md so that those 2 unreleased but documented versions are under the 0.6 heading if you find it'd be better/clearer

lqd (Nov 25 2019 at 21:49, on Zulip):

(that was re: https://github.com/rust-lang/polonius/pull/140#discussion_r350433885 for anyone following at home)

Jake Goulding (Nov 25 2019 at 21:50, on Zulip):

I dunno if either is more correct. More like "what went wrong that those were never published but someone changed the changelog"?

lqd (Nov 25 2019 at 21:52, on Zulip):

probably just a mistake in forgetting to bump all the cargo.tomls when trying to update polonius-engine (which is the only crate we need to publish)

lqd (Nov 25 2019 at 21:54, on Zulip):

if neither is more correct than the other, at least 0.8 will start fresh :)

lqd (Nov 25 2019 at 21:56, on Zulip):

(I don't even think the parser's 0.3 was published on crates.io but was indeed bumped in the repo)

lqd (Nov 26 2019 at 14:23, on Zulip):

@Jake Goulding moved to 0.6 instead, and fixed the previously erroneous releases.md, wdyt?

lqd (Nov 26 2019 at 18:58, on Zulip):

@Matthew Jasper thanks

Matthew Jasper (Nov 26 2019 at 19:00, on Zulip):

np

lqd (Nov 26 2019 at 19:33, on Zulip):

ah I don't think we're able to publish, seems like only niko is an owner

Last update: Dec 12 2019 at 00:45UTC