Compiler Integration With Error Analysis

A normal compilation with error analysis takes usually like three times more than a regular compilation that is not too bad if you just think about it as an analysis tool. It's considering not the entire program all the time by considering partial parts of the program that can inject into a context and they can retract facts and rules from that context so in that sense it's not too slow but I would say this kind of analysis really increases the compilation time because it has to do a lot more work to give you the errors otherwise you're ignoring.