diff options
| author | gingerBill <bill@gingerbill.org> | 2021-01-18 11:34:09 +0000 |
|---|---|---|
| committer | gingerBill <bill@gingerbill.org> | 2021-01-18 11:34:09 +0000 |
| commit | 53d8ec4d15d63977bb3c1f799dabd3c5b87558dd (patch) | |
| tree | c6dfcdd01937016ab9d12c5f7abb8a616c0602b8 /src/main.cpp | |
| parent | 2990b3efd56dbf8733f8b118ec11b2a628c22a50 (diff) | |
Add extra error checks
Diffstat (limited to 'src/main.cpp')
| -rw-r--r-- | src/main.cpp | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp index f05d0406a..92e0b4104 100644 --- a/src/main.cpp +++ b/src/main.cpp @@ -1999,6 +1999,10 @@ int main(int arg_count, char const **arg_ptr) { return 1; } + if (any_errors()) { + return 1; + } + temp_allocator_free_all(&temporary_allocator_data); timings_start_section(timings, str_lit("type check")); @@ -2013,6 +2017,9 @@ int main(int arg_count, char const **arg_ptr) { if (checked_inited) { check_parsed_files(&checker); } + if (any_errors()) { + return 1; + } temp_allocator_free_all(&temporary_allocator_data); |