Fun f = new Fun("error", new Const(type), new Const(mes), new Fun("line", new Int(line)));
Clause C = new Clause(f, Const.TRUE);
if (verbose)
{
IO.errmes(type + " error at line:" + line);
IO.errmes(C.prettyPrint(), e);
}
return C;
}
private static final String patchEOFString(String s)