diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-05-17 17:26:55 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-05-17 17:26:55 -0700 |
| commit | 38f72faa1865e011df87cd76b39b54bc07eedb74 (patch) | |
| tree | 24e9d7267be26845a12a8046255f28547f2549a5 /037abandon.cc | |
| parent | 01804ea41e0ba47d9ec349eef651282e4826a536 (diff) | |
| download | mu-38f72faa1865e011df87cd76b39b54bc07eedb74.tar.gz | |
2970
Diffstat (limited to '037abandon.cc')
| -rw-r--r-- | 037abandon.cc | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/037abandon.cc b/037abandon.cc index 98901568..eb367490 100644 --- a/037abandon.cc +++ b/037abandon.cc @@ -80,10 +80,10 @@ def main [ 4:number <- copy 3:address:array:number 5:boolean <- equal 2:number, 4:number ] -# reuse +# both calls to new returned identical addresses +mem: storing 1 in location 5 -:(scenario refcounts_overwrite) +:(scenario abandon_on_overwrite) def main [ 1:address:number <- new number:type # over-writing one allocation with another @@ -95,7 +95,7 @@ def main [ +run: {1: ("address" "number")} <- new {number: "type"} +mem: automatically abandoning 1000 -:(scenario refcounts_call_2) +:(scenario abandon_after_call) def main [ 1:address:number <- new number:type # passing in addresses to recipes increments refcount @@ -117,7 +117,7 @@ def foo [ +mem: decrementing refcount of 1000: 1 -> 0 +mem: automatically abandoning 1000 -:(scenario refcounts_array) +:(scenario abandon_on_overwrite_array) def main [ 1:number <- copy 30 # allocate an array |