diff options
Diffstat (limited to '072scheduler.cc')
-rw-r--r-- | 072scheduler.cc | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/072scheduler.cc b/072scheduler.cc index c5e6ac95..0496d2b1 100644 --- a/072scheduler.cc +++ b/072scheduler.cc @@ -281,13 +281,13 @@ if (inst.operation == NEXT_INGREDIENT || inst.operation == NEXT_INGREDIENT_WITHO } :(scenario next_ingredient_never_leaks_refcounts) -def create-scope n:&:num -> default-space:&:@:location [ +def create-space n:&:num -> default-space:space [ default-space <- new location:type, 2 load-ingredients ] -def use-scope [ +def use-space [ local-scope - 0:&:@:location/names:create-scope <- next-ingredient + 0:space/names:create-space <- next-ingredient n:&:num/space:1 <- next-ingredient # should decrement refcount *n/space:1 <- copy 34 n2:num <- add *n/space:1, 1 @@ -297,9 +297,9 @@ def main [ local-scope n:&:num <- copy 12000/unsafe # pretend allocation with a known address *n <- copy 23 - scope:&:@:location <- create-scope n + space:space <- create-space n n2:&:num <- copy 13000/unsafe - n3:num <- use-scope scope, n2 + n3:num <- use-space space, n2 ] +run: {n: ("address" "number"), "space": "1"} <- next-ingredient +mem: decrementing refcount of 12000: 2 -> 1 |