Compiler: type check failures do not always abort compilation

[GoogleCodeExporter]

Compilation can proceed blindly and attempt to generate code based on faulty 
input (i.e. code with type errors).

Original issue reported on code.google.com by [email protected] on 5 Sep 2014 at 5:31