summaryrefslogtreecommitdiff
path: root/typing/cmt_format.ml
Commit message (Expand)AuthorAgeFilesLines
* Update headers for the new license.Damien Doligez2016-02-181-11/+14
* Add warning for missing .cmx filesLeo White2015-12-261-2/+7
* Remove dead code.Alain Frisch2015-10-161-6/+0
* Replace TypedtreeMap with a more standard open-recursion iterator Tast_mapper...Alain Frisch2014-12-221-70/+17
* Typedtree: add type information to primitive coercionsGabriel Scherer2014-11-171-1/+22
* re-commit Leo's weak-dependencies pull requestJacques Garrigue2014-05-071-2/+2
* revert commit 14719Jacques Garrigue2014-05-021-2/+2
* weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,2185...Mark Shinwell2014-05-011-2/+2
* merge branch "safe-string"Damien Doligez2014-04-291-3/+1
* fix some of the whitespace problems in the sourceDamien Doligez2014-04-121-1/+0
* Record inclusion checks between value_descriptions in .cmt files. This makes...Alain Frisch2014-01-281-2/+14
* Synchronize with trunk.Alain Frisch2013-07-161-2/+2
|\
| * #5980: explicit way to silence the new warning (open! X).Alain Frisch2013-05-161-2/+2
* | Starting to keep attributes in the typedtree.Alain Frisch2013-03-251-2/+2
|/
* #5809: remove hash-consing of environments, replaced by a much cheaper one-sl...Alain Frisch2012-11-081-21/+1
* Fix problem of size of bin-annot filesFabrice Le Fessant2012-07-121-3/+97
* #5640: use open_in_bin to read cmt files.Alain Frisch2012-06-081-1/+1
* #5639: Write cmt files with open_out_bin.Alain Frisch2012-06-081-1/+1
* keep the text width to 80 columnsJacques Garrigue2012-05-311-10/+8
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-301-0/+158