Skip to content

Commit

Permalink
fix(compiler): Properly handle corrupted CMIs (#1314)
Browse files Browse the repository at this point in the history
  • Loading branch information
ospencer authored Jun 8, 2022
1 parent 7338890 commit 7f97410
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions compiler/src/typed/cmi_format.re
Original file line number Diff line number Diff line change
Expand Up @@ -127,6 +127,7 @@ let read_cmi = filename => {
cmi;
| None
| exception End_of_file
| exception (Invalid_argument(_))
| exception (Failure(_)) =>
close_in(ic);
raise(Error(Corrupted_interface(filename)));
Expand Down

0 comments on commit 7f97410

Please sign in to comment.