about summary refs log tree commit diff stats
path: root/cpp/.traces/maybe_convert
diff options
context:
space:
mode:
Diffstat (limited to 'cpp/.traces/maybe_convert')
-rw-r--r--cpp/.traces/maybe_convert8
1 files changed, 4 insertions, 4 deletions
diff --git a/cpp/.traces/maybe_convert b/cpp/.traces/maybe_convert
index adb8ebe7..0c26557b 100644
--- a/cpp/.traces/maybe_convert
+++ b/cpp/.traces/maybe_convert
@@ -19,19 +19,19 @@ after-brace/0: maybe-convert ...
 new/0: routine allocated memory from 1000 to 101000
 schedule/0: main
 run/0: instruction main/0
-run/0: {name: "12", value: 12, type: 1, properties: ["12": "integer"]} <- copy {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
+run/0: {name: "12", value: 12, type: 1, properties: ["12": "integer"]} <- copy/1 {name: "1", value: 1, type: 0, properties: ["1": "literal"]}
 run/0: ingredient 0 is 1
 mem/0: storing 1 in location 12
 run/0: instruction main/1
-run/0: {name: "13", value: 13, type: 1, properties: ["13": "integer"]} <- copy {name: "35", value: 35, type: 0, properties: ["35": "literal"]}
+run/0: {name: "13", value: 13, type: 1, properties: ["13": "integer"]} <- copy/1 {name: "35", value: 35, type: 0, properties: ["35": "literal"]}
 run/0: ingredient 0 is 35
 mem/0: storing 35 in location 13
 run/0: instruction main/2
-run/0: {name: "14", value: 14, type: 1, properties: ["14": "integer"]} <- copy {name: "36", value: 36, type: 0, properties: ["36": "literal"]}
+run/0: {name: "14", value: 14, type: 1, properties: ["14": "integer"]} <- copy/1 {name: "36", value: 36, type: 0, properties: ["36": "literal"]}
 run/0: ingredient 0 is 36
 mem/0: storing 36 in location 14
 run/0: instruction main/3
-run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "1", value: 1, type: 0, properties: ["1": "variant"]}
+run/0: {name: "20", value: 20, type: 2-6, properties: ["20": "address":"point"]} <- maybe-convert/28 {name: "12", value: 12, type: 8, properties: ["12": "integer-or-point"]}, {name: "1", value: 1, type: 0, properties: ["1": "variant"]}
 run/0: ingredient 0 is 12
 run/0: ingredient 1 is 1
 mem/0: storing 13 in location 20