diff options
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -55,7 +55,10 @@ int main(int argc, char **argv) { fprint_parsed_file(stdout, &f); tokr_free(&t); - types_file(&f); + if (!types_file(&f)) { + err_fprint(TEXT_IMPORTANT("Errors occured while determining types.\n")); + return EXIT_FAILURE; + } /* TODO (eventually): use a tmp file (don't overwrite old output if there's an error) */ const char *c_out_filename = "out.c"; |