Search code examples
typesocamlunification

Type inference in the source of OCaml

I would like to take a close look at the implementation of type inference in OCaml, my OCaml seems be installed in /usr/local/lib/ocaml, but no .ml inside seems include the piece of code for type inference...

Could anyone help?

Solution

  • I suspect you have a binary release of OCaml. You need the sources. You can get the sources from this page: OCaml 4.00.1 Release