var found = "";
while (!stream.look().eof && Lang.isSpace(stream.look())) {
+
found += stream.next();
}
if (found === "") {
return false;
}
-
+ print("WHITE = " + JSON.stringify(found));
if (this.collapseWhite) found = " ";
if (this.keepWhite) tokens.push(new Token(found, "WHIT", "SPACE", this.line));
return true;