void fail(String message) { throw new ParseError(message, filename!, currentLine, tokenStart, index); }