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 - |
質問
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?
解決
他のヒント
Aside from looking at the source code, you might find this paper useful.
所属していません StackOverflow