From 6e1eeeebfb453fa7c871869c19375ce60fbd7413 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sat, 27 Jul 2019 16:01:55 -0700 Subject: 5485 - promote SubX to top-level --- arc/.traces/default-space-bounds-check | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 arc/.traces/default-space-bounds-check (limited to 'arc/.traces/default-space-bounds-check') diff --git a/arc/.traces/default-space-bounds-check b/arc/.traces/default-space-bounds-check deleted file mode 100644 index 7a70c626..00000000 --- a/arc/.traces/default-space-bounds-check +++ /dev/null @@ -1,23 +0,0 @@ -c{0: 0 (((default-space space-address)) <- ((new)) ((space literal)) ((2 literal))) -- nil -c{0: 1 (((2 integer)) <- ((copy)) ((23 literal))) -- nil -c{1: 0 ✓ (((default-space space-address)) <- ((new)) ((space literal)) ((2 literal))) -c{1: 1 ✓ (((2 integer)) <- ((copy)) ((23 literal))) -cn0: convert-names in main -cn0: (((default-space space-address)) <- ((new)) ((space literal)) ((2 literal))) nil nil -cn0: checking arg ((space literal)) -cn0: checking arg ((2 literal)) -cn0: checking oarg ((default-space space-address)) -maybe-add: ((default-space space-address)) -cn0: (((2 integer)) <- ((copy)) ((23 literal))) nil nil -cn0: checking arg ((23 literal)) -cn0: checking oarg ((2 integer)) -maybe-add: ((2 integer)) -cn1: (((default-space space-address)) <- ((new)) ((space literal)) ((2 literal))) -cn1: (((2 integer)) <- ((copy)) ((23 literal))) -schedule: main -run: main 0: (((default-space space-address)) <- ((new)) ((space literal)) ((2 literal))) -run: main 0: 1000 => ((default-space space-address)) -run: main 1: (((2 integer)) <- ((copy)) ((23 literal))) -run: main 1: 23 => ((2 integer)) --: die: no room for var 2integer in routine of size 2 -schedule: done with dead routine main -- cgit 1.4.1-2-gfad0