about summary refs log tree commit diff stats
path: root/cpp/.traces/set_default_space
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2015-03-30 21:31:58 -0700
committerKartik K. Agaram <vc@akkartik.com>2015-03-30 21:31:58 -0700
commit088665eff883b5bc28022800aed27f6af468a4ba (patch)
tree073f6c7b0d21428ee2d1246da7fc57a3dca79895 /cpp/.traces/set_default_space
parent66b97b4d923274e1b6d2fd97df16cb73d820169b (diff)
downloadmu-088665eff883b5bc28022800aed27f6af468a4ba.tar.gz
997
Diffstat (limited to 'cpp/.traces/set_default_space')
-rw-r--r--cpp/.traces/set_default_space12
1 files changed, 6 insertions, 6 deletions
diff --git a/cpp/.traces/set_default_space b/cpp/.traces/set_default_space
index 3292565f..618aeb19 100644
--- a/cpp/.traces/set_default_space
+++ b/cpp/.traces/set_default_space
@@ -1,12 +1,12 @@
 parse/0: instruction: 1
-parse/0:   ingredient: {name: "5", value: 0, type: 0, properties: [5: literal]}
-parse/0:   product: {name: "10", value: 0, type: 1, properties: [10: integer]}
+parse/0:   ingredient: {name: "5", value: 0, type: 0, properties: ["5": "literal"]}
+parse/0:   product: {name: "10", value: 0, type: 1, properties: ["10": "integer"]}
 parse/0: instruction: 1
-parse/0:   ingredient: {name: "10", value: 0, type: 0, properties: [10: literal]}
-parse/0:   product: {name: "default-space", value: 0, type: 2-0, properties: [default-space: address:space]}
+parse/0:   ingredient: {name: "10", value: 0, type: 0, properties: ["10": "literal"]}
+parse/0:   product: {name: "default-space", value: 0, type: 2-0, properties: ["default-space": "address":"space"]}
 parse/0: instruction: 1
-parse/0:   ingredient: {name: "23", value: 0, type: 0, properties: [23: literal]}
-parse/0:   product: {name: "1", value: 0, type: 1, properties: [1: integer]}
+parse/0:   ingredient: {name: "23", value: 0, type: 0, properties: ["23": "literal"]}
+parse/0:   product: {name: "1", value: 0, type: 1, properties: ["1": "integer"]}
 name/0: assign default-space 1
 after-brace/0: recipe main
 after-brace/0: copy ...