You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
extract ref -- regionalise object o pointed to by ref (fails unless o dominates its transitive closure, and has external RC = 1), returns a fresh closed region
merge_into reg_t reg_f -- de-regionalise region reg_f and make all objects owned by region reg_t
close(b) -- invalidates all pointers from the local region and closes the region
try_close(b) -- attempts to close the region without invalidating any pointers. It returns a boolean indicating if the operation succeeded
open reg -- open region (after this point, permit incoming borrowed references)
move x, move x.f -- destructive read
Operations we punt on
drop
send
The text was updated successfully, but these errors were encountered:
close reg -- close region and check that it is isolated
open reg -- open region (after this point, permit incoming borrowed references)
Do we maybe want these operations be methods on the reified region object? It feels like that would be closer to the target implementation in Python, but it might be clearer to have them as keywords for Dyrona.
extract ref
-- regionalise objecto
pointed to byref
(fails unlesso
dominates its transitive closure, and has external RC = 1), returns a fresh closed regionmerge_into reg_t reg_f
-- de-regionalise regionreg_f
and make all objects owned by regionreg_t
close(b)
-- invalidates all pointers from the local region and closes the regiontry_close(b)
-- attempts to close the region without invalidating any pointers. It returns a boolean indicating if the operation succeededopen reg
-- open region (after this point, permit incoming borrowed references)move x
,move x.f
-- destructive readOperations we punt on
The text was updated successfully, but these errors were encountered: