Correct bug with displaying characters.

This commit is contained in:
evancz 2012-08-09 16:38:44 +02:00
parent 9e90c58849
commit 2f327b087a

View file

@ -56,6 +56,8 @@ var Value = function(){
return v ? "True" : "False"; return v ? "True" : "False";
} else if (typeof v === "number") { } else if (typeof v === "number") {
return v+""; return v+"";
} else if (typeof v === "string") {
return "'"+v+"'";
} else if (v[0]) { } else if (v[0]) {
if (v[0].substring(0,5) === "Tuple") { if (v[0].substring(0,5) === "Tuple") {
var output = ""; var output = "";
@ -68,11 +70,12 @@ var Value = function(){
var start = (typeof v[1] === "string") ? '"' : "["; var start = (typeof v[1] === "string") ? '"' : "[";
var end = (typeof v[1] === "string") ? '"' : "]"; var end = (typeof v[1] === "string") ? '"' : "]";
var div = (typeof v[1] === "string") ? "" : ","; var div = (typeof v[1] === "string") ? "" : ",";
var output = start + toString(v[1]); var f = (typeof v[1] === "string") ? function(x){return x} : toString;
var output = start + f(v[1]);
v = v[2]; v = v[2];
while (true) { while (true) {
if (v[0] === "Cons") { if (v[0] === "Cons") {
output += div + toString(v[1]); output += div + f(v[1]);
v = v[2]; v = v[2];
} else { } else {
return output + end; return output + end;