diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-17 18:16:08 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-17 18:18:32 -0700 |
commit | 69f3fb0a7a9cf653209af44ab60a1e25830bc9a7 (patch) | |
tree | 9e6650c9e3e6526be0fe11bc70dc311d1f268e54 /cpp/.traces/copy_exclusive_container | |
parent | 30ab02977063217dcf16028d897a3e8cb0d9cff9 (diff) | |
download | mu-69f3fb0a7a9cf653209af44ab60a1e25830bc9a7.tar.gz |
1083 - start of a sum type for mu
Diffstat (limited to 'cpp/.traces/copy_exclusive_container')
-rw-r--r-- | cpp/.traces/copy_exclusive_container | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/cpp/.traces/copy_exclusive_container b/cpp/.traces/copy_exclusive_container new file mode 100644 index 00000000..289f2442 --- /dev/null +++ b/cpp/.traces/copy_exclusive_container @@ -0,0 +1,34 @@ +parse/0: instruction: 1 +parse/0: ingredient: {name: "1", value: 0, type: 0, properties: ["1": "literal"]} +parse/0: product: {name: "1", value: 0, type: 1, properties: ["1": "integer"]} +parse/0: instruction: 1 +parse/0: ingredient: {name: "34", value: 0, type: 0, properties: ["34": "literal"]} +parse/0: product: {name: "2", value: 0, type: 1, properties: ["2": "integer"]} +parse/0: instruction: 1 +parse/0: ingredient: {name: "35", value: 0, type: 0, properties: ["35": "literal"]} +parse/0: product: {name: "3", value: 0, type: 1, properties: ["3": "integer"]} +parse/0: instruction: 1 +parse/0: ingredient: {name: "1", value: 0, type: 8, properties: ["1": "integer-or-point"]} +parse/0: product: {name: "4", value: 0, type: 8, properties: ["4": "integer-or-point"]} +after-brace/0: recipe main +after-brace/0: copy ... +after-brace/0: copy ... +after-brace/0: copy ... +after-brace/0: copy ... +run/0: instruction main/0 +run/0: ingredient 0 is 1 +mem/0: storing 1 in location 1 +run/0: instruction main/1 +run/0: ingredient 0 is 34 +mem/0: storing 34 in location 2 +run/0: instruction main/2 +run/0: ingredient 0 is 35 +mem/0: storing 35 in location 3 +run/0: instruction main/3 +run/0: ingredient 0 is 1 +mem/0: location 1 is 1 +mem/0: location 2 is 34 +mem/0: location 3 is 35 +mem/0: storing 1 in location 4 +mem/0: storing 34 in location 5 +mem/0: storing 35 in location 6 |