5485 - promote SubX to top-level

1 files changed, 0 insertions, 203 deletions

diff --git a/arc/.traces/init-list b/arc/.traces/init-list
deleted file mode 100644
index 329f7b76..00000000
--- a/arc/.traces/init-list
+++ /dev/null
@@ -1,203 +0,0 @@
-c{0: 0 (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal))) -- nil
-c{1: 0 ✓ (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
-cn0: convert-names in main
-cn0: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal))) nil nil
-cn0: checking arg ((3 literal))
-cn0: checking arg ((4 literal))
-cn0: checking arg ((5 literal))
-cn0: checking oarg ((1 integer))
-maybe-add: ((1 integer))
-cn1: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
-schedule: main
-run: main 0: (((1 integer)) <- ((init-list)) ((3 literal)) ((4 literal)) ((5 literal)))
-run: init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: init-list/main 0: 1000 => ((default-space space-address))
-run: init-list/main 1: (((1 list-address)) <- ((new)) ((list literal)))
-run: init-list/main 1: 1031 => ((1 list-address))
-mem: ((1 list-address)): 1002 <= 1031
-run: init-list/main 2: (((2 list-address)) <- ((copy)) ((1 list-address)))
-mem: ((1 list-address)) => 1031
-run: init-list/main 2: 1031 => ((2 list-address))
-mem: ((2 list-address)): 1003 <= 1031
-run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
-arg: nil 0 (3 4 5)
-run: init-list/main 3: 3 => ((3 integer))
-mem: ((3 integer)): 1004 <= 3
-run: init-list/main 3: t => ((4 boolean))
-mem: ((4 boolean)): 1005 <= t
-run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
-mem: ((4 boolean)) => t
-run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
-run: init-list/main 5: 1033 => ((5 list-address-address))
-mem: ((5 list-address-address)): 1006 <= 1033
-run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
-run: init-list/main 6: 1034 => ((5 list-address-address) (deref))
-mem: ((5 list-address-address) (deref)): 1033 <= 1034
-run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
-mem: ((2 list-address)) => 1031
-run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-next/init-list/main 0: 1037 => ((default-space space-address))
-run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1031)
-run: list-next/init-list/main 1: 1031 => ((1 list-address))
-mem: ((1 list-address)): 1039 <= 1031
-run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
-mem: ((1033 list-address) (raw)) => 1034
-run: list-next/init-list/main 2: 1034 => ((2 list-address))
-mem: ((2 list-address)): 1040 <= 1034
-run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
-mem: ((2 list-address)) => 1034
-run: init-list/main 7: 1034 => ((2 list-address))
-mem: ((2 list-address)): 1003 <= 1034
-run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
-mem: ((2 list-address)) => 1034
-run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-value-address/init-list/main 0: 1068 => ((default-space space-address))
-run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1034)
-run: list-value-address/init-list/main 1: 1034 => ((1 list-address))
-mem: ((1 list-address)): 1070 <= 1034
-run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
-run: list-value-address/init-list/main 2: 1034 => ((2 tagged-value-address))
-mem: ((2 tagged-value-address)): 1071 <= 1034
-run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
-mem: ((2 tagged-value-address)) => 1034
-run: init-list/main 8: 1034 => ((6 tagged-value-address))
-mem: ((6 tagged-value-address)): 1007 <= 1034
-run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
-mem: ((3 integer)) => 3
-run: init-list/main 9: #(tagged record (integer 3)) => ((6 tagged-value-address) (deref))
-mem: ((6 tagged-value-address) (deref)): 1034 <= integer
-mem: ((6 tagged-value-address) (deref)): 1035 <= 3
-run: init-list/main 10: (((jump)) ((-8 offset)))
-run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
-arg: nil 1 (3 4 5)
-run: init-list/main 3: 4 => ((3 integer))
-mem: ((3 integer)): 1004 <= 4
-run: init-list/main 3: t => ((4 boolean))
-mem: ((4 boolean)): 1005 <= t
-run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
-mem: ((4 boolean)) => t
-run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
-run: init-list/main 5: 1036 => ((5 list-address-address))
-mem: ((5 list-address-address)): 1006 <= 1036
-run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
-run: init-list/main 6: 1099 => ((5 list-address-address) (deref))
-mem: ((5 list-address-address) (deref)): 1036 <= 1099
-run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
-mem: ((2 list-address)) => 1034
-run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-next/init-list/main 0: 1102 => ((default-space space-address))
-run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1034)
-run: list-next/init-list/main 1: 1034 => ((1 list-address))
-mem: ((1 list-address)): 1104 <= 1034
-run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
-mem: ((1036 list-address) (raw)) => 1099
-run: list-next/init-list/main 2: 1099 => ((2 list-address))
-mem: ((2 list-address)): 1105 <= 1099
-run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
-mem: ((2 list-address)) => 1099
-run: init-list/main 7: 1099 => ((2 list-address))
-mem: ((2 list-address)): 1003 <= 1099
-run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
-mem: ((2 list-address)) => 1099
-run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-value-address/init-list/main 0: 1133 => ((default-space space-address))
-run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1099)
-run: list-value-address/init-list/main 1: 1099 => ((1 list-address))
-mem: ((1 list-address)): 1135 <= 1099
-run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
-run: list-value-address/init-list/main 2: 1099 => ((2 tagged-value-address))
-mem: ((2 tagged-value-address)): 1136 <= 1099
-run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
-mem: ((2 tagged-value-address)) => 1099
-run: init-list/main 8: 1099 => ((6 tagged-value-address))
-mem: ((6 tagged-value-address)): 1007 <= 1099
-run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
-mem: ((3 integer)) => 4
-run: init-list/main 9: #(tagged record (integer 4)) => ((6 tagged-value-address) (deref))
-mem: ((6 tagged-value-address) (deref)): 1099 <= integer
-mem: ((6 tagged-value-address) (deref)): 1100 <= 4
-run: init-list/main 10: (((jump)) ((-8 offset)))
-run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
-arg: nil 2 (3 4 5)
-run: init-list/main 3: 5 => ((3 integer))
-mem: ((3 integer)): 1004 <= 5
-run: init-list/main 3: t => ((4 boolean))
-mem: ((4 boolean)): 1005 <= t
-run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
-mem: ((4 boolean)) => t
-run: init-list/main 5: (((5 list-address-address)) <- ((get-address)) ((2 list-address) (deref)) ((1 offset)))
-run: init-list/main 5: 1101 => ((5 list-address-address))
-mem: ((5 list-address-address)): 1006 <= 1101
-run: init-list/main 6: (((5 list-address-address) (deref)) <- ((new)) ((list literal)))
-run: init-list/main 6: 1164 => ((5 list-address-address) (deref))
-mem: ((5 list-address-address) (deref)): 1101 <= 1164
-run: init-list/main 7: (((2 list-address)) <- ((list-next)) ((2 list-address)))
-mem: ((2 list-address)) => 1099
-run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-next/init-list/main 0: 1167 => ((default-space space-address))
-run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1099)
-run: list-next/init-list/main 1: 1099 => ((1 list-address))
-mem: ((1 list-address)): 1169 <= 1099
-run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
-mem: ((1101 list-address) (raw)) => 1164
-run: list-next/init-list/main 2: 1164 => ((2 list-address))
-mem: ((2 list-address)): 1170 <= 1164
-run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
-mem: ((2 list-address)) => 1164
-run: init-list/main 7: 1164 => ((2 list-address))
-mem: ((2 list-address)): 1003 <= 1164
-run: init-list/main 8: (((6 tagged-value-address)) <- ((list-value-address)) ((2 list-address)))
-mem: ((2 list-address)) => 1164
-run: list-value-address/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-value-address/init-list/main 0: 1198 => ((default-space space-address))
-run: list-value-address/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1164)
-run: list-value-address/init-list/main 1: 1164 => ((1 list-address))
-mem: ((1 list-address)): 1200 <= 1164
-run: list-value-address/init-list/main 2: (((2 tagged-value-address)) <- ((get-address)) ((1 list-address) (deref)) ((0 offset)))
-run: list-value-address/init-list/main 2: 1164 => ((2 tagged-value-address))
-mem: ((2 tagged-value-address)): 1201 <= 1164
-run: list-value-address/init-list/main 3: (((reply)) ((2 tagged-value-address)))
-mem: ((2 tagged-value-address)) => 1164
-run: init-list/main 8: 1164 => ((6 tagged-value-address))
-mem: ((6 tagged-value-address)): 1007 <= 1164
-run: init-list/main 9: (((6 tagged-value-address) (deref)) <- ((save-type)) ((3 integer)))
-mem: ((3 integer)) => 5
-run: init-list/main 9: #(tagged record (integer 5)) => ((6 tagged-value-address) (deref))
-mem: ((6 tagged-value-address) (deref)): 1164 <= integer
-mem: ((6 tagged-value-address) (deref)): 1165 <= 5
-run: init-list/main 10: (((jump)) ((-8 offset)))
-run: init-list/main 3: (((3 integer)) ((4 boolean)) <- ((next-input)))
-arg: nil 3 (3 4 5)
-run: init-list/main 3: nil => ((3 integer))
-mem: ((3 integer)): 1004 <= nil
-run: init-list/main 3: nil => ((4 boolean))
-mem: ((4 boolean)): 1005 <= nil
-run: init-list/main 4: (((jump-unless)) ((4 boolean)) ((6 offset)))
-mem: ((4 boolean)) => nil
-run: init-list/main 11: (((1 list-address)) <- ((list-next)) ((1 list-address)))
-mem: ((1 list-address)) => 1031
-run: list-next/init-list/main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((30 literal)))
-run: list-next/init-list/main 0: 1229 => ((default-space space-address))
-run: list-next/init-list/main 1: (((1 list-address)) <- ((next-input)))
-arg: nil 0 (1031)
-run: list-next/init-list/main 1: 1031 => ((1 list-address))
-mem: ((1 list-address)): 1231 <= 1031
-run: list-next/init-list/main 2: (((2 list-address)) <- ((get)) ((1 list-address) (deref)) ((1 offset)))
-mem: ((1033 list-address) (raw)) => 1034
-run: list-next/init-list/main 2: 1034 => ((2 list-address))
-mem: ((2 list-address)): 1232 <= 1034
-run: list-next/init-list/main 3: (((reply)) ((2 list-address)))
-mem: ((2 list-address)) => 1034
-run: init-list/main 11: 1034 => ((1 list-address))
-mem: ((1 list-address)): 1002 <= 1034
-run: init-list/main 12: (((reply)) ((1 list-address)))
-mem: ((1 list-address)) => 1034
-run: main 0: 1034 => ((1 integer))
-mem: ((1 integer)): 1 <= 1034
-schedule: done with routine nil