13 Mar
2016
13 Mar
'16
7:06 p.m.
On 03/13/2016 02:52 PM, Bjorn Reese wrote:
On 03/13/2016 07:04 PM, Phil Bouchard wrote:
Also the documentation is outdated as proxies are now explicit but it'll give you the general idea.
Are proxies regions? (cf. your earlier reference to region-based memory management.)
Yes, it marks a region.