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 - |
Frage
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?
Lösung
Andere Tipps
Aside from looking at the source code, you might find this paper useful.
Lizenziert unter: CC-BY-SA mit Zuschreibung
Nicht verbunden mit StackOverflow