5485 - promote SubX to top-level

1 files changed, 0 insertions, 18 deletions

diff --git a/arc/.traces/convert-names-functions b/arc/.traces/convert-names-functions
deleted file mode 100644
index 3e8d50a4..00000000
--- a/arc/.traces/convert-names-functions
+++ /dev/null
@@ -1,18 +0,0 @@
-cn0: convert-names in 
-cn0: (((x integer)) <- ((copy)) ((0 literal))) nil nil
-cn0: checking arg ((0 literal))
-cn0: checking oarg ((x integer))
-maybe-add: ((x integer))
-cn0: location for oarg ((x integer)): 1
-cn0: (((y integer)) <- ((copy)) ((0 literal))) ((x 1)) nil
-cn0: checking arg ((0 literal))
-cn0: checking oarg ((y integer))
-maybe-add: ((y integer))
-cn0: location for oarg ((y integer)): 2
-cn0: (((z fn)) <- ((copy)) ((0 literal))) ((x 1) (y 2)) nil
-cn0: checking arg ((0 literal))
-cn0: checking oarg ((z fn))
-maybe-add: ((z fn))
-cn1: (((1 integer)) <- ((copy)) ((0 literal)))
-cn1: (((2 integer)) <- ((copy)) ((0 literal)))
-cn1: (((z fn)) <- ((copy)) ((0 literal)))