From 4464fb5cfafd7b3fa39584927e0db4b0500669c5 Mon Sep 17 00:00:00 2001 From: Tim Vieira Date: Wed, 10 Jul 2013 19:14:58 -0400 Subject: [PATCH] Issue #1: display [] instead of &nil. --- src/Dyna/Backend/Python/post/trace.py | 4 ++++ test/repl/trace.dynadoc | 7 ++++++- 2 files changed, 10 insertions(+), 1 deletion(-) 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] -- 2.50.1