Fixed warning sand extra spaces in linearization in gflib.js.

This commit is contained in:
bringert
2006-12-06 14:11:01 +00:00
parent f46c848b7e
commit 5a5a05df95

View File

@@ -30,6 +30,7 @@ function parseTree_(tokens, prec) {
} else {
var tree = new Fun(t);
if (prec == 0) {
var c;
while ((c = parseTree_(tokens, 1)) !== null) {
tree.children.push(c);
}
@@ -103,9 +104,10 @@ function copy_arguments(args, start) {
function join_print(values, glue) {
var str = "";
for (var i = 0; i < values.length; i++) {
str += values[i].print();
if (i < values.length - 1) {
str += glue;
var s = values[i].print();
if (s.length > 0) {
if (str.length > 0) { str += glue; }
str += s;
}
}
return str;