Stream: t-compiler/wg-nll

Topic: polonius, universes, and subregions


nikomatsakis (Jan 09 2019 at 21:12, on Zulip):

BTW @lqd I've been thinking about this on and off and it'd maybe be useful to bounce some things off of someone. Interestingly, I think I wound up going back to the "pure subset"-based version, though for efficiency I suspect we'll want a sort of hybrid model. It's a bit out of cache now though. I'm trying to decide how best to proceed. I feel like I've been sitting on said posts too long though.

nikomatsakis (Jan 09 2019 at 21:13, on Zulip):

Well, maybe I'll make another effort to finish them off just to have some starting point for discussion.

lqd (Jan 09 2019 at 21:13, on Zulip):

oh interesting

lqd (Jan 09 2019 at 21:15, on Zulip):

is this something where we can prototype some ideas maybe ? (but I feel you've been doing that)

lqd (Jan 09 2019 at 21:18, on Zulip):

(I was myself using the posts, trying out the rules, etc to start familiarizing myself with these new (to me) problems)

nikomatsakis (Jan 09 2019 at 21:22, on Zulip):

yeah, probably

nikomatsakis (Jan 09 2019 at 21:22, on Zulip):

I think I was "basically satisfied" with the rules, iirc, but some parts felt less elegant than I might liek

nikomatsakis (Jan 09 2019 at 21:23, on Zulip):

and I kind of couldn't decide which was better

nikomatsakis (Jan 09 2019 at 21:23, on Zulip):

but yeah I have to try and remember what I was concerned about

nikomatsakis (Jan 09 2019 at 21:23, on Zulip):

I remember — among other things — rediscovering for the umpteenth time why some of the polonius rules are the way they are, which got me to thinking that it'd be nice to do a blog post on some of the more subtle points

nikomatsakis (Jan 09 2019 at 21:24, on Zulip):

(notably the interaction of the subset/liveness/etc)

nikomatsakis (Jan 09 2019 at 21:24, on Zulip):

but also: we really should do some a renaming PR

nikomatsakis (Jan 09 2019 at 21:24, on Zulip):

I want to rename requires to contains, in particular

lqd (Jan 09 2019 at 21:24, on Zulip):

extremely agreed

lqd (Jan 09 2019 at 21:25, on Zulip):

I saw the renaming in one of your later revisions

lqd (Jan 09 2019 at 21:27, on Zulip):

if this is still more or less what you want to do, I can do the renaming

nikomatsakis (Jan 15 2019 at 19:29, on Zulip):

oh and I've had a lot of thoughts here. Will try to write some of them up this afternoon, I think, but the TL;DR is that I think my original post -- the one you started implememting, @lqd -- will work out just fine, and the universe stuff we will handle as a separate step

lqd (Jan 15 2019 at 19:31, on Zulip):

I'll go back to finish this soon after the other couple issues we talked about

lqd (Jan 18 2019 at 21:07, on Zulip):

@nikomatsakis while I'm a bit stuck on the other issues, I've put up the PR for the missing subset errors (and bors is still ignoring us :joy:)

nikomatsakis (Jan 22 2019 at 16:00, on Zulip):

@lqd btw see my most recent blog post for some discussion of the general direction I am looking at as a "next step"

lqd (Jan 22 2019 at 16:01, on Zulip):

loving the title already :)

Jake Goulding (Jan 22 2019 at 16:42, on Zulip):

Could have used a "harrumph" in there.

lqd (Jan 22 2019 at 17:57, on Zulip):

it's going to be fun/challenging if we have to reimplement Stephen Dolan's thesis :) (or just even understand it in my case hehe)

nikomatsakis (Jan 22 2019 at 20:30, on Zulip):

;)

nikomatsakis (Jan 22 2019 at 20:30, on Zulip):

I feel like I see a path forward, but I'm definitely open to finding better ways of doing things

Last update: Nov 21 2019 at 14:15UTC