13 Mar
2016
13 Mar
'16
9:23 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.)
I could rename: - proxy_ptr<> -> root_ptr<> and - block_ptr<> -> leaf_ptr<> I think it would be easier to understand.