Skip to content

Commit 7f97410

Browse files
authored
fix(compiler): Properly handle corrupted CMIs (#1314)
1 parent 7338890 commit 7f97410

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

compiler/src/typed/cmi_format.re

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -127,6 +127,7 @@ let read_cmi = filename => {
127127
cmi;
128128
| None
129129
| exception End_of_file
130+
| exception (Invalid_argument(_))
130131
| exception (Failure(_)) =>
131132
close_in(ic);
132133
raise(Error(Corrupted_interface(filename)));

0 commit comments

Comments
 (0)