1 files changed, 14 insertions, 0 deletions
diff --git a/arc/.traces/le-literal-false b/arc/.traces/le-literal-false
new file mode 100644
index 00000000..5a0eb3b2
--- /dev/null
+++ b/arc/.traces/le-literal-false
@@ -0,0 +1,14 @@
+c{0: 0 (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((3 literal))) -- nil
+c{1: 0 ✓ (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((3 literal)))
+cn0: convert-names in main
+cn0: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((3 literal))) nil nil
+cn0: checking arg ((4 literal))
+cn0: checking arg ((3 literal))
+cn0: checking oarg ((1 boolean))
+maybe-add: ((1 boolean))
+cn1: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((3 literal)))
+schedule: main
+run: main 0: (((1 boolean)) <- ((lesser-or-equal)) ((4 literal)) ((3 literal)))
+run: main 0: nil => ((1 boolean))
+mem: ((1 boolean)): 1 <= nil
+schedule: done with routine nil