// and replace if we are generating a different language..
- this.timerPrint("Tokenized");
+ this.timerPrint("Tokenized tokens:" + toks.length);
//var ts = new TokenStream(toks);
//print(JSON.stringify(toks, null,4 )); Seed.quit();
var ts = new Collapse(toks);
if (out.length) {
File.write(minfile, out);
+ this.timerPrint("Write (" + out.length + "bytes) " + minfile);
}
return out;