summaryrefslogtreecommitdiff
path: root/typing/typeopt.mli
Commit message (Expand)AuthorAgeFilesLines
* Keep more type information in Lambda (#2156)Alain Frisch2018-11-231-0/+6
* Fix lazy/float interaction when configured with -no-flat-float-array. (#1471)Damien Doligez2018-06-051-1/+1
* Merge pull request #1365 from yallop/let-rec-patch-406Jacques Garrigue2017-09-221-0/+37