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 - |
Pergunta
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?
Solução
Outras dicas
Aside from looking at the source code, you might find this paper useful.
Licenciado em: CC-BY-SA com atribuição
Não afiliado a StackOverflow