diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-04-17 18:32:39 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-04-17 18:32:39 -0700 |
| commit | dd994cdad0eb4aa5b890ec62138d573fdf3c3f10 (patch) | |
| tree | 855db79a1219794bc93dc6180c45a5ae529aaaeb /cpp/.traces/maybe_convert_fail | |
| parent | 6ea73c227fc6479e4de64690f197ea0ae24a0bfd (diff) | |
| download | mu-dd994cdad0eb4aa5b890ec62138d573fdf3c3f10.tar.gz | |
1085 - to access variants of sum types use 'maybe-convert'
Diffstat (limited to 'cpp/.traces/maybe_convert_fail')
| -rw-r--r-- | cpp/.traces/maybe_convert_fail | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/cpp/.traces/maybe_convert_fail b/cpp/.traces/maybe_convert_fail new file mode 100644 index 00000000..33666c95 --- /dev/null +++ b/cpp/.traces/maybe_convert_fail @@ -0,0 +1,31 @@ +parse/0: instruction: 1 +parse/0: ingredient: {name: "1", value: 0, type: 0, properties: ["1": "literal"]} +parse/0: product: {name: "12", value: 0, type: 1, properties: ["12": "integer"]} +parse/0: instruction: 1 +parse/0: ingredient: {name: "35", value: 0, type: 0, properties: ["35": "literal"]} +parse/0: product: {name: "13", value: 0, type: 1, properties: ["13": "integer"]} +parse/0: instruction: 1 +parse/0: ingredient: {name: "36", value: 0, type: 0, properties: ["36": "literal"]} +parse/0: product: {name: "14", value: 0, type: 1, properties: ["14": "integer"]} +parse/0: instruction: 24 +parse/0: ingredient: {name: "12", value: 0, type: 8, properties: ["12": "integer-or-point"]} +parse/0: ingredient: {name: "0", value: 0, type: 0, properties: ["0": "variant"]} +parse/0: product: {name: "20", value: 0, type: 2-6, properties: ["20": "address":"point"]} +after-brace/0: recipe main +after-brace/0: copy ... +after-brace/0: copy ... +after-brace/0: copy ... +after-brace/0: maybe-convert ... +run/0: instruction main/0 +run/0: ingredient 0 is 1 +mem/0: storing 1 in location 12 +run/0: instruction main/1 +run/0: ingredient 0 is 35 +mem/0: storing 35 in location 13 +run/0: instruction main/2 +run/0: ingredient 0 is 36 +mem/0: storing 36 in location 14 +run/0: instruction main/3 +run/0: ingredient 0 is 12 +run/0: ingredient 1 is 0 +mem/0: storing 0 in location 20 |