@@ -56,6 +56,8 @@ var Value = function(){
5656 return v ? "True" : "False";
5757 } else if (typeof v === "number") {
5858 return v+"";
59+ } else if (typeof v === "string") {
60+ return "'"+v+"'";
5961 } else if (v[0]) {
6062 if (v[0].substring(0,5) === "Tuple") {
6163 var output = "";
@@ -68,11 +70,12 @@ var Value = function(){
6870 var start = (typeof v[1] === "string") ? '"' : "[";
6971 var end = (typeof v[1] === "string") ? '"' : "]";
7072 var div = (typeof v[1] === "string") ? "" : ",";
71− var output = start + toString(v[1]);
73+ var f = (typeof v[1] === "string") ? function(x){return x} : toString;
74+ var output = start + f(v[1]);
7275 v = v[2];
7376 while (true) {
7477 if (v[0] === "Cons") {
75− output += div + toString(v[1]);
78+ output += div + f(v[1]);
7679 v = v[2];
7780 } else {
7881 return output + end;