Go to file
Gabriel Scherer dba626e0c3 fix a nested-callback bug
The implementation of Generalization.flush_freezer was not robust in
the case where calling a callback would itself register new
callbacks. Those new callbacks were dropped (never called) and would
result in assertion failures later one.
2021-02-02 13:43:59 +01:00
client Comment some irrelevant tests 2020-08-09 14:36:53 +02:00
headers Add a header to every source file. 2019-09-24 09:04:03 +02:00
src fix a nested-callback bug 2021-02-02 13:43:59 +01:00
test Add [make test], which runs the UnionFind benchmark. 2019-09-24 09:15:49 +02:00
.gitignore Add [make test], which runs the UnionFind benchmark. 2019-09-24 09:15:49 +02:00
AUTHORS Authors & license. 2018-03-02 17:57:13 +01:00
CHANGES.md Add CHANGES.md. 2019-09-24 10:21:08 +02:00
LICENSE Authors & license. 2018-03-02 17:57:13 +01:00
Makefile Remove a comment. 2019-09-24 11:06:01 +02:00
README.md README. 2018-03-02 17:59:15 +01:00
TODO.md Change a TODO item into an issue (#2). 2019-09-24 10:12:24 +02:00
dune-project Switch to Dune. 2019-09-24 09:02:29 +02:00
inferno.opam Fix opam package description. 2019-09-24 11:17:17 +02:00

README.md

A library for constraint-based Hindley-Milner type inference.

This software is described in the ICFP 2014 paper Hindley-Milner elaboration in applicative style by François Pottier.

See also the ICFP 2014 slides.

At present, there is no documentation other than the above paper and slides.