summaryrefslogtreecommitdiff
path: root/tools/cmt2annot.ml
Commit message (Expand)AuthorAgeFilesLines
* Merge branch 4.01 from branching point to 4.01.0+rc1Damien Doligez2013-09-041-3/+6
* Item attributes on each let-binding.Alain Frisch2013-06-031-2/+2
* Explicit representation of guards, get rid of Pexp_when.Alain Frisch2013-04-151-1/+9
* Keep item attributes on let-binding structure items.Alain Frisch2013-04-111-1/+1
* Get rid of the Default case in Asttype.rec_flag.Alain Frisch2013-04-041-1/+0
* New implementation of cmt2annot, based on an OO iterator for typed trees. Mos...Alain Frisch2012-11-081-212/+86
* Failed attempt at fixing #5816.Alain Frisch2012-11-081-9/+28
* #5814: rebuild environments from summaries when needed.Alain Frisch2012-11-081-16/+32
* #5814: remove annotations from environments; to produce .annot file, use the ...Alain Frisch2012-11-081-17/+10
* #5741: link pprintast into the compiler (unused for now, but it is available ...Alain Frisch2012-10-171-2/+2
* fix language name in headerDamien Doligez2012-08-011-1/+1
* merge with bin-annot: add missing filesFabrice Le Fessant2012-05-301-0/+290