Stream: general

Topic: readily identifiable arenas


Jake Goulding (Sep 18 2018 at 19:08, on Zulip):

modulo longer lived arenas like 'tcx in the compiler, which are the exception, and also readily identifiable

@nikomatsakis what makes them readily identifiable?

(context)

nikomatsakis (Sep 18 2018 at 19:11, on Zulip):

perhaps that was the wrong phrase. What I meant was "when you see the name 'tcx, you know what it is"

nikomatsakis (Sep 18 2018 at 19:11, on Zulip):

or, to put another way, you had better learn...

nikomatsakis (Sep 18 2018 at 19:12, on Zulip):

in other words, when I see Foo<'tcx> in the compiler, I know that it can escape, in contrast to Foo<'a>, which I may not be able to do; Foo<'_>, of course, is ambiguous, which I see as suboptimal

Jake Goulding (Sep 18 2018 at 19:12, on Zulip):

Personally, I always assume it's a misspelling of ctx, one of the common abbreviations for "context", but it's not like I'm in there a lot

nikomatsakis (Sep 18 2018 at 19:14, on Zulip):

the specific name is not really the point

nikomatsakis (Sep 18 2018 at 19:14, on Zulip):

I sort of want to rename it to 'global

nikomatsakis (Sep 18 2018 at 19:14, on Zulip):

but anyway

nikomatsakis (Sep 18 2018 at 19:14, on Zulip):

actually, it'd probably be 'infer and 'gcx would be 'global...

Jake Goulding (Sep 18 2018 at 19:17, on Zulip):

I know the name isn't the point, it's the fact that it has a name, right?

nikomatsakis (Sep 18 2018 at 19:31, on Zulip):

yes

Last update: Nov 22 2019 at 00:25UTC