1225

Finally start tracing the actual instructions as they run.

1 files changed, 18 insertions, 0 deletions

diff --git a/cpp/.traces/closure b/cpp/.traces/closure
index 047b3a7d..eea62ad0 100644
--- a/cpp/.traces/closure
+++ b/cpp/.traces/closure
@@ -63,60 +63,78 @@ after-brace/0: reply ...
 new/0: routine allocated memory from 1000 to 101000
 schedule/0: main
 run/0: instruction main/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
 mem/0: new alloc: 1000
 run/0: instruction main/1
+run/0: {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"location", "names": "init-counter"]} <- init-counter 
 run/0: instruction init-counter/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "location", value: 1, type: 0, properties: ["location": "type"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
 mem/0: new alloc: 1030
 run/0: instruction init-counter/1
+run/0: {name: "x", value: 1, type: 1, properties: ["x": "integer"]} <- copy {name: "23", value: 23, type: 0, properties: ["23": "literal"]}
 run/0: ingredient 0 is 23
 mem/0: storing 23 in location 1032
 run/0: instruction init-counter/2
+run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer"]} <- copy {name: "3", value: 3, type: 0, properties: ["3": "literal"]}
 run/0: ingredient 0 is 3
 mem/0: storing 3 in location 1033
 run/0: instruction init-counter/3
+run/0: reply {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]}
 run/0: result 0 is 1030
 mem/0: storing 1030 in location 1002
 run/0: instruction main/2
+run/0: {name: "2", value: 2, type: 1, properties: ["2": "integer", "raw": ]} <- increment-counter {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"location", "names": "init-counter"]}
 mem/0: location 1002 is 1030
 run/0: instruction increment-counter/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "space", value: 0, type: 0, properties: ["space": "literal"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
 mem/0: new alloc: 1060
 run/0: instruction increment-counter/1
+run/0: {name: "0", value: 0, type: 2-5-1, properties: ["0": "address":"array":"location", "names": "init-counter"]} <- next-ingredient 
 run/0: product 0 is 1030
 mem/0: storing 1030 in location 1061
 run/0: instruction increment-counter/2
+run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]} <- add {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is y
 mem/0: location 1033 is 3
 run/0: ingredient 1 is 1
 run/0: product 0 is 4
 mem/0: storing 4 in location 1033
 run/0: instruction increment-counter/3
+run/0: {name: "y", value: 1, type: 1, properties: ["y": "integer"]} <- copy {name: "234", value: 234, type: 0, properties: ["234": "literal"]}
 run/0: ingredient 0 is 234
 mem/0: storing 234 in location 1062
 run/0: instruction increment-counter/4
+run/0: reply {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}
 mem/0: location 1033 is 4
 run/0: result 0 is 4
 mem/0: storing 4 in location 2
 run/0: instruction main/3
+run/0: {name: "3", value: 3, type: 1, properties: ["3": "integer", "raw": ]} <- increment-counter {name: "1", value: 1, type: 2-5-1, properties: ["1": "address":"array":"location", "names": "init-counter"]}
 mem/0: location 1002 is 1030
 run/0: instruction increment-counter/0
+run/0: {name: "default-space", value: 0, type: 2-5-1, properties: ["default-space": "address":"array":"location"]} <- new {name: "space", value: 0, type: 0, properties: ["space": "literal"]}, {name: "30", value: 30, type: 0, properties: ["30": "literal"]}
 mem/0: array size is 30
 mem/0: new alloc: 1090
 run/0: instruction increment-counter/1
+run/0: {name: "0", value: 0, type: 2-5-1, properties: ["0": "address":"array":"location", "names": "init-counter"]} <- next-ingredient 
 run/0: product 0 is 1030
 mem/0: storing 1030 in location 1091
 run/0: instruction increment-counter/2
+run/0: {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]} <- add {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}, {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is y
 mem/0: location 1033 is 4
 run/0: ingredient 1 is 1
 run/0: product 0 is 5
 mem/0: storing 5 in location 1033
 run/0: instruction increment-counter/3
+run/0: {name: "y", value: 1, type: 1, properties: ["y": "integer"]} <- copy {name: "234", value: 234, type: 0, properties: ["234": "literal"]}
 run/0: ingredient 0 is 234
 mem/0: storing 234 in location 1092
 run/0: instruction increment-counter/4
+run/0: reply {name: "y", value: 2, type: 1, properties: ["y": "integer", "space": "1"]}
 mem/0: location 1033 is 5
 run/0: result 0 is 5
 mem/0: storing 5 in location 3