flambda-backend: Lazy deserialization of cmi files (#1322)

* Lazy deserialization of cmi files

* Preserve legacy API in cmi_format

* make depend

* bootstrap

---------

Co-authored-by: Roman Leshchinskiy <rleshchinskiy@janestreet.com>

Author: rleshchinskiy

.depend

@@ -422,6 +422,7 @@ parsing/docstrings.cmi : \
     parsing/location.cmi
 parsing/extensions.cmo : \
     parsing/parsetree.cmi \
+    parsing/longident.cmi \
     parsing/location.cmi \
     utils/language_extension.cmi \
     parsing/extensions_parsing.cmi \
@@ -430,6 +431,7 @@ parsing/extensions.cmo : \
     parsing/extensions.cmi
 parsing/extensions.cmx : \
     parsing/parsetree.cmi \
+    parsing/longident.cmx \
     parsing/location.cmx \
     utils/language_extension.cmx \
     parsing/extensions_parsing.cmx \
@@ -438,6 +440,7 @@ parsing/extensions.cmx : \
     parsing/extensions.cmi
 parsing/extensions.cmi : \
     parsing/parsetree.cmi \
+    parsing/longident.cmi \
     parsing/location.cmi \
     parsing/asttypes.cmi
 parsing/extensions_parsing.cmo : \
@@ -619,9 +622,9 @@ typing/btype.cmi : \
     typing/path.cmi \
     parsing/asttypes.cmi
 typing/cmt2annot.cmo : \
-    typing/types.cmi \
     typing/typedtree.cmi \
     typing/tast_iterator.cmi \
+    typing/subst.cmi \
     typing/stypes.cmi \
     typing/path.cmi \
     typing/oprint.cmi \
@@ -630,13 +633,12 @@ typing/cmt2annot.cmo : \
     typing/envaux.cmi \
     typing/env.cmi \
     file_formats/cmt_format.cmi \
-    file_formats/cms_format.cmi \
     parsing/asttypes.cmi \
     typing/annot.cmi
 typing/cmt2annot.cmx : \
-    typing/types.cmx \
     typing/typedtree.cmx \
     typing/tast_iterator.cmx \
+    typing/subst.cmx \
     typing/stypes.cmx \
     typing/path.cmx \
     typing/oprint.cmx \
@@ -645,7 +647,6 @@ typing/cmt2annot.cmx : \
     typing/envaux.cmx \
     typing/env.cmx \
     file_formats/cmt_format.cmx \
-    file_formats/cms_format.cmx \
     parsing/asttypes.cmi \
     typing/annot.cmi
 typing/ctype.cmo : \
@@ -725,6 +726,7 @@ typing/env.cmo : \
     typing/predef.cmi \
     typing/persistent_env.cmi \
     typing/path.cmi \
+    parsing/parsetree.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
     parsing/location.cmi \
@@ -748,6 +750,7 @@ typing/env.cmx : \
     typing/predef.cmx \
     typing/persistent_env.cmx \
     typing/path.cmx \
+    parsing/parsetree.cmi \
     utils/misc.cmx \
     parsing/longident.cmx \
     parsing/location.cmx \
@@ -769,6 +772,7 @@ typing/env.cmi : \
     typing/subst.cmi \
     typing/shape.cmi \
     typing/path.cmi \
+    parsing/parsetree.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
     parsing/location.cmi \
@@ -912,7 +916,6 @@ typing/includemod.cmo : \
     utils/diffing.cmi \
     typing/ctype.cmi \
     file_formats/cmt_format.cmi \
-    file_formats/cms_format.cmi \
     parsing/builtin_attributes.cmi \
     typing/btype.cmi \
     typing/includemod.cmi
@@ -936,7 +939,6 @@ typing/includemod.cmx : \
     utils/diffing.cmx \
     typing/ctype.cmx \
     file_formats/cmt_format.cmx \
-    file_formats/cms_format.cmx \
     parsing/builtin_attributes.cmx \
     typing/btype.cmx \
     typing/includemod.cmi
@@ -1151,7 +1153,7 @@ typing/persistent_env.cmx : \
     utils/clflags.cmx \
     typing/persistent_env.cmi
 typing/persistent_env.cmi : \
-    typing/types.cmi \
+    typing/subst.cmi \
     utils/misc.cmi \
     parsing/location.cmi \
     utils/lazy_backtrack.cmi \
@@ -1403,7 +1405,6 @@ typing/subst.cmx : \
 typing/subst.cmi : \
     typing/types.cmi \
     typing/path.cmi \
-    parsing/parsetree.cmi \
     parsing/location.cmi \
     typing/ident.cmi
 typing/tast_iterator.cmo : \
@@ -1464,7 +1465,6 @@ typing/typeclass.cmo : \
     typing/env.cmi \
     typing/ctype.cmi \
     file_formats/cmt_format.cmi \
-    file_formats/cms_format.cmi \
     utils/clflags.cmi \
     parsing/builtin_attributes.cmi \
     typing/btype.cmi \
@@ -1493,7 +1493,6 @@ typing/typeclass.cmx : \
     typing/env.cmx \
     typing/ctype.cmx \
     file_formats/cmt_format.cmx \
-    file_formats/cms_format.cmx \
     utils/clflags.cmx \
     parsing/builtin_attributes.cmx \
     typing/btype.cmx \
@@ -1540,7 +1539,6 @@ typing/typecore.cmo : \
     typing/env.cmi \
     typing/ctype.cmi \
     file_formats/cmt_format.cmi \
-    file_formats/cms_format.cmi \
     utils/clflags.cmi \
     parsing/builtin_attributes.cmi \
     typing/btype.cmi \
@@ -1576,7 +1574,6 @@ typing/typecore.cmx : \
     typing/env.cmx \
     typing/ctype.cmx \
     file_formats/cmt_format.cmx \
-    file_formats/cms_format.cmx \
     utils/clflags.cmx \
     parsing/builtin_attributes.cmx \
     typing/btype.cmx \
@@ -1799,6 +1796,7 @@ typing/typemod.cmo : \
     typing/subst.cmi \
     typing/signature_group.cmi \
     typing/shape.cmi \
+    utils/profile.cmi \
     typing/printtyp.cmi \
     typing/path.cmi \
     parsing/parsetree.cmi \
@@ -1819,8 +1817,8 @@ typing/typemod.cmo : \
     utils/config.cmi \
     utils/compilation_unit.cmi \
     file_formats/cmt_format.cmi \
-    file_formats/cms_format.cmi \
     typing/cmt2annot.cmo \
+    file_formats/cms_format.cmi \
     file_formats/cmi_format.cmi \
     utils/clflags.cmi \
     parsing/builtin_attributes.cmi \
@@ -1839,6 +1837,7 @@ typing/typemod.cmx : \
     typing/subst.cmx \
     typing/signature_group.cmx \
     typing/shape.cmx \
+    utils/profile.cmx \
     typing/printtyp.cmx \
     typing/path.cmx \
     parsing/parsetree.cmi \
@@ -1859,8 +1858,8 @@ typing/typemod.cmx : \
     utils/config.cmx \
     utils/compilation_unit.cmx \
     file_formats/cmt_format.cmx \
-    file_formats/cms_format.cmx \
     typing/cmt2annot.cmx \
+    file_formats/cms_format.cmx \
     file_formats/cmi_format.cmx \
     utils/clflags.cmx \
     parsing/builtin_attributes.cmx \
@@ -3640,6 +3639,7 @@ lambda/lambda.cmo : \
     typing/path.cmi \
     utils/misc.cmi \
     parsing/longident.cmi \
+    parsing/location.cmi \
     typing/ident.cmi \
     typing/env.cmi \
     lambda/debuginfo.cmi \
@@ -3654,6 +3654,7 @@ lambda/lambda.cmx : \
     typing/path.cmx \
     utils/misc.cmx \
     parsing/longident.cmx \
+    parsing/location.cmx \
     typing/ident.cmx \
     typing/env.cmx \
     lambda/debuginfo.cmx \
@@ -3664,8 +3665,10 @@ lambda/lambda.cmx : \
     lambda/lambda.cmi
 lambda/lambda.cmi : \
     typing/types.cmi \
+    typing/subst.cmi \
     typing/primitive.cmi \
     typing/path.cmi \
+    parsing/location.cmi \
     typing/ident.cmi \
     typing/env.cmi \
     lambda/debuginfo.cmi \
@@ -3876,7 +3879,9 @@ lambda/translattribute.cmo : \
     parsing/location.cmi \
     lambda/lambda.cmi \
     utils/config.cmi \
+    utils/clflags.cmi \
     parsing/builtin_attributes.cmi \
+    parsing/asttypes.cmi \
     lambda/translattribute.cmi
 lambda/translattribute.cmx : \
     utils/warnings.cmx \
@@ -3887,7 +3892,9 @@ lambda/translattribute.cmx : \
     parsing/location.cmx \
     lambda/lambda.cmx \
     utils/config.cmx \
+    utils/clflags.cmx \
     parsing/builtin_attributes.cmx \
+    parsing/asttypes.cmi \
     lambda/translattribute.cmi
 lambda/translattribute.cmi : \
     typing/typedtree.cmi \
@@ -4157,6 +4164,7 @@ lambda/translprim.cmi : \
     utils/compilation_unit.cmi
 file_formats/cmi_format.cmo : \
     typing/types.cmi \
+    typing/subst.cmi \
     utils/misc.cmi \
     parsing/location.cmi \
     utils/import_info.cmi \
@@ -4165,14 +4173,15 @@ file_formats/cmi_format.cmo : \
     file_formats/cmi_format.cmi
 file_formats/cmi_format.cmx : \
     typing/types.cmx \
+    typing/subst.cmx \
     utils/misc.cmx \
     parsing/location.cmx \
     utils/import_info.cmx \
     utils/config.cmx \
     utils/compilation_unit.cmx \
     file_formats/cmi_format.cmi
 file_formats/cmi_format.cmi : \
-    typing/types.cmi \
+    typing/subst.cmi \
     utils/misc.cmi \
     utils/import_info.cmi \
     utils/compilation_unit.cmi
@@ -4181,23 +4190,34 @@ file_formats/cmo_format.cmi : \
     utils/import_info.cmi \
     typing/ident.cmi \
     utils/compilation_unit.cmi
-file_formats/cmt_format.cmo : \
-    typing/types.cmi \
-    typing/typedtree.cmi \
-    typing/tast_mapper.cmi \
+file_formats/cms_format.cmo : \
     typing/shape.cmi \
+    parsing/parsetree.cmi \
     utils/misc.cmi \
     parsing/location.cmi \
-    utils/load_path.cmi \
     parsing/lexer.cmi \
-    utils/import_info.cmi \
     typing/env.cmi \
     utils/config.cmi \
     utils/compilation_unit.cmi \
-    file_formats/cmi_format.cmi \
     utils/clflags.cmi \
-    file_formats/cmt_format.cmi
-file_formats/cms_format.cmo : \
+    file_formats/cms_format.cmi
+file_formats/cms_format.cmx : \
+    typing/shape.cmx \
+    parsing/parsetree.cmi \
+    utils/misc.cmx \
+    parsing/location.cmx \
+    parsing/lexer.cmx \
+    typing/env.cmx \
+    utils/config.cmx \
+    utils/compilation_unit.cmx \
+    utils/clflags.cmx \
+    file_formats/cms_format.cmi
+file_formats/cms_format.cmi : \
+    typing/shape.cmi \
+    parsing/parsetree.cmi \
+    parsing/location.cmi \
+    utils/compilation_unit.cmi
+file_formats/cmt_format.cmo : \
     typing/types.cmi \
     typing/typedtree.cmi \
     typing/tast_mapper.cmi \
@@ -4212,7 +4232,7 @@ file_formats/cms_format.cmo : \
     utils/compilation_unit.cmi \
     file_formats/cmi_format.cmi \
     utils/clflags.cmi \
-    file_formats/cms_format.cmi
+    file_formats/cmt_format.cmi
 file_formats/cmt_format.cmx : \
     typing/types.cmx \
     typing/typedtree.cmx \
@@ -4229,22 +4249,6 @@ file_formats/cmt_format.cmx : \
     file_formats/cmi_format.cmx \
     utils/clflags.cmx \
     file_formats/cmt_format.cmi
-file_formats/cms_format.cmx : \
-    typing/types.cmx \
-    typing/typedtree.cmx \
-    typing/tast_mapper.cmx \
-    typing/shape.cmx \
-    utils/misc.cmx \
-    parsing/location.cmx \
-    utils/load_path.cmx \
-    parsing/lexer.cmx \
-    utils/import_info.cmx \
-    typing/env.cmx \
-    utils/config.cmx \
-    utils/compilation_unit.cmx \
-    file_formats/cmi_format.cmx \
-    utils/clflags.cmx \
-    file_formats/cms_format.cmi
 file_formats/cmt_format.cmi : \
     typing/types.cmi \
     typing/typedtree.cmi \
@@ -4254,14 +4258,6 @@ file_formats/cmt_format.cmi : \
     typing/env.cmi \
     utils/compilation_unit.cmi \
     file_formats/cmi_format.cmi
-file_formats/cms_format.cmi : \
-    typing/types.cmi \
-    typing/typedtree.cmi \
-    typing/shape.cmi \
-    parsing/location.cmi \
-    typing/env.cmi \
-    utils/compilation_unit.cmi \
-    file_formats/cmi_format.cmi
 file_formats/cmx_format.cmi : \
     lambda/lambda.cmi \
     utils/import_info.cmi \
@@ -4963,6 +4959,8 @@ middle_end/flambda/flambda_to_clambda.cmo : \
     middle_end/flambda/base_types/static_exception.cmi \
     middle_end/flambda/simple_value_approx.cmi \
     middle_end/flambda/base_types/set_of_closures_id.cmi \
+    lambda/printlambda.cmi \
+    middle_end/printclambda.cmi \
     typing/primitive.cmi \
     middle_end/flambda/parameter.cmi \
     utils/numbers.cmi \
@@ -4995,6 +4993,8 @@ middle_end/flambda/flambda_to_clambda.cmx : \
     middle_end/flambda/base_types/static_exception.cmx \
     middle_end/flambda/simple_value_approx.cmx \
     middle_end/flambda/base_types/set_of_closures_id.cmx \
+    lambda/printlambda.cmx \
+    middle_end/printclambda.cmx \
     typing/primitive.cmx \
     middle_end/flambda/parameter.cmx \
     utils/numbers.cmx \
@@ -6463,6 +6463,7 @@ driver/makedepend.cmo : \
     utils/misc.cmi \
     parsing/location.cmi \
     parsing/lexer.cmi \
+    utils/language_extension.cmi \
     parsing/depend.cmi \
     utils/config.cmi \
     driver/compenv.cmi \
@@ -6476,6 +6477,7 @@ driver/makedepend.cmx : \
     utils/misc.cmx \
     parsing/location.cmx \
     parsing/lexer.cmx \
+    utils/language_extension.cmx \
     parsing/depend.cmx \
     utils/config.cmx \
     driver/compenv.cmx \
@@ -6730,6 +6732,7 @@ toplevel/topdirs.cmo : \
     typing/types.cmi \
     toplevel/toploop.cmi \
     toplevel/topeval.cmi \
+    typing/subst.cmi \
     typing/printtyp.cmi \
     typing/predef.cmi \
     typing/path.cmi \
@@ -6754,6 +6757,7 @@ toplevel/topdirs.cmx : \
     typing/types.cmx \
     toplevel/toploop.cmx \
     toplevel/topeval.cmi \
+    typing/subst.cmx \
     typing/printtyp.cmx \
     typing/predef.cmx \
     typing/path.cmx \