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