if (typeof(this.symbols[_s]) == 'undefined') {
//print("Symbol:" + _s);
//print(this.currentDoc.src);
+ this.ts.dump(this.ts.cursor -20, this.ts.cursor + 20);
throw {
name: "ArgumentError",
- message: "Trying to append symbol, but no doc available"
+ message: "Trying to append symbol '" + _s + "', but no doc available"
};