SoftTimur
Reputation: 5540
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?
Upvotes: 1
Views: 195
Answers (2)
Alex
Reputation: 2040
Aside from looking at the source code, you might find this paper useful.
Upvotes: 2
Jeffrey Scofield
Reputation: 66823
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
Upvotes: 2
Related Questions
- Abstract types and type inference
- OCaml explicit type signatures
- Type Inference of Ocaml
- OCaml Type Inference, a concrete example
- OCaml Type Inferencing
- Unifying OCaml patterns through function composition
- Type Inference in OCaml
- OCaml Type and Type Inference
- OCaml: type inference with polymorphic variants
- See inferred types in complex OCaml code