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
Type inference in the source of OCaml
-
03-12-2021 - |
Question
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?
La solution
Autres conseils
Aside from looking at the source code, you might find this paper useful.
Licencié sous: CC-BY-SA avec attribution
Non affilié à StackOverflow