And how would that work with or without mli-files? Or partial compilation?

Inference is resolved at the module level. That means all let-bindings in a module are type-inferred when the module is compiled. So, compiling a module infers a module signature. If the module does not have an .mli file, then the inferred module signature becomes the actual one. If the module does …

Right, thanks. I was a bit confused about calling it “global type-inference” in some places. :slight_smile: But global = file-local, then.

It’s even less than that, though ? Inference happens at each “let” binding (in structs) one-by-one in file-order, right? [Though I don’t know how that interacts with modules defined via let module M = struct ... end in ... ] It only appears that inference is happening at the module-level, b/c eac…

if you say let x = ref [] let y = 1 :: !x then x would be typed as int list ref. So I don’t think inference is limited to the scope of a single let binding, at least for the weak type variable case.

Oh ha! I had forgotten about that! I stand corrected!

Perhaps it is worth mentioning that when compiling a module, OCaml compiler needs the .cmi files of all the dependencies (so the types in these modules have already been inferred, and possibly checked and constrained against their respective .mli if any).

Does OCaml infer types between files?

Learning

yawaramin September 5, 2022, 5:37pm 7

Yes, OCaml decouples compilation of modules from each other. I collected some thoughts on that here: OCaml interface files–hero or menace? - DEV Community 👩‍💻👨‍💻

Topic		Replies	Views
Mismatched types between customized compilation units Learning type-system , module , types , module-type	7	319	March 5, 2024
Access inferred types Learning learning	4	526	January 8, 2024
Including a signature from a separate file Learning compiler , module-type	2	666	March 11, 2023
How can utop know and not know a module at the same time? Learning	4	583	November 7, 2022
Separate module compilation in ocaml Learning	3	815	April 21, 2019

Does OCaml infer types between files?

Related topics