From: Tim Vieira <tim.f.vieira@gmail.com>
Date: Wed, 10 Jul 2013 23:14:58 +0000 (-0400)
Subject: Issue #1: display [] instead of &nil.
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=4464fb5cfafd7b3fa39584927e0db4b0500669c5;p=dyna2

Issue #1: display [] instead of &nil.
---

diff --git a/src/Dyna/Backend/Python/post/trace.py b/src/Dyna/Backend/Python/post/trace.py
index ed72d2f..2a17161 100644
--- a/src/Dyna/Backend/Python/post/trace.py
+++ b/src/Dyna/Backend/Python/post/trace.py
@@ -200,6 +200,10 @@ class Crux(object):
                 return self.get_function(e)
 
             # handle lists
+
+            if e.label == '& nil':
+                return '[]'
+
             if e.label == '& cons':
                 _e = e
                 a = []
diff --git a/test/repl/trace.dynadoc b/test/repl/trace.dynadoc
index d203024..eadb790 100644
--- a/test/repl/trace.dynadoc
+++ b/test/repl/trace.dynadoc
@@ -110,4 +110,9 @@ x = [1, 2, 3].
 x = [1, 2, 3]
 |
 └─ = [1, 2, 3]
-   x = [1, 2, 3].
\ No newline at end of file
+   x = [1, 2, 3].
+
+
+% TODO: bug
+% > trace [1,2,3]
+%  No trace for [1,2,3]