Module Brzo_b0_ocaml.Mod_resolver

The type for dependency restrictions. This is a relative file path denoting a directory in one of the dependency directories.

The type for dependency restrictions. Restrictions are expressed relative to dependency directories ds.

• `Open ps, ambiguities are resolved by the first matching path of ps in the first ds (if any).
• `Locked ps, dependencies are only resolved in ps directories of ds and in case of ambiguity in the first matching path of ps in the first ds (if any).

Note. `Open restrictions make compilation successes dependent on the state of the dependency directories. Technically so does `Locked, but it shouldn't assuming an opam like package install structure.

unrestricted is `Open [], unrestricted dependencies.

The type for data-driven module resolvers.

create m ~memo_dir ~dep_dirs deps is a module resolver with restrictions deps in dependency directories dep_dirs using m and memo_dir to memoize its results. `Miss_dep is the list of dependencies that couldn't be found in either of the dep_dirs.

memo r is the memoizer of r.

index r is the file index of r, that is the unrestricted index of dep_dirs.

dep_dirs r are the dependency directories.

deps r are the dependency restrictions.

dep_dir_deps r are all the dependency restrictions that can be found in r; regardless of deps.

find_dep r f is the dependency restriction for file in r. This is never None if f is in index.

cmi_obj r file asks for the cmi compilation object of file file. FIXME let the fut be a fiber.

find_cmi_side_cmx_file r cmi returns an existing side cmx file for cmi located along side it. FIXME be principled about that: makes as a side effect ready in memo r.

find_cmi_files_for_mod_name r mn finds cmi files whose filename could resolve to module name mn.

find_cmis_for_mod_name r mn finds cmi information for files whose filename could resolve to module name mn in r.

find_cmis_for_mod_ref r mref are the cmis that resolve to mref in r.

find_impl_for_mod_ref r ~ext mref continues with an implementation file for mref with extension ext and a suitable cmi file to use.

find_rec_impls_for_mod_refs ~deps r ~ext mrefs continues with a list of implementation files with extentions ext for mrefs and their recursive dependencies determined according to deps (defaults to Cobj.link_deps). The list is sorted in link order.