Result r = new Result() {
public boolean isUpToDate(int h, Environment env) { return false; }
};
r.setSugaredSyntaxTree(term);
r.setDesugaredSyntaxTree(term);
r.registerEditorDesugarings(new AbsolutePath(StdLib.failureTrans.getAbsolutePath()));
return r;
}
private IStrategoTerm parseCompletionTree(String input, String filename, Result result) throws IOException {
//TODO fix: adapt to parsing with parseMax