private mod invokeANTLR(CharStream text, String filename) {
AnalyzingParser p = new AnalyzingParser(text, filename, null);
mod ast = null;
try {
ast = p.parseModule();
} catch (Exception x) {
fine("parse for " + filename + " failed: " + x);
}
recordParseErrors(filename, p.getRecognitionErrors());
return ast;