From 69f3fb0a7a9cf653209af44ab60a1e25830bc9a7 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Fri, 17 Apr 2015 18:16:08 -0700 Subject: 1083 - start of a sum type for mu --- cpp/.traces/copy_exclusive_container | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 cpp/.traces/copy_exclusive_container (limited to 'cpp/.traces/copy_exclusive_container') 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 -- cgit 1.4.1-2-gfad0