1 files changed, 18 insertions, 0 deletions
diff --git a/arc/.traces/convert-names-nil b/arc/.traces/convert-names-nil
new file mode 100644
index 00000000..e62c07e1
--- /dev/null
+++ b/arc/.traces/convert-names-nil
@@ -0,0 +1,18 @@
+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: (((nil integer)) <- ((copy)) ((0 literal))) ((x 1) (y 2)) nil
+cn0: checking arg ((0 literal))
+cn0: checking oarg ((nil integer))
+maybe-add: ((nil integer))
+cn1: (((1 integer)) <- ((copy)) ((0 literal)))
+cn1: (((2 integer)) <- ((copy)) ((0 literal)))
+cn1: (((nil integer)) <- ((copy)) ((0 literal)))