void ParseError(ILocation location, string message) { throw new ParseException (location, message); }