Source

ocaml / typing / typedtreeMap.ml

Author Commit Message Labels Comments Date
doligez
add some missing copyright headers git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12814 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
doligez
clean up TABs and whitespace git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12799 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
lefessan
Fix problem of size of bin-annot files - Reset most of the fields of Env.t when saving bin-annot files - Move debugger/envaux.ml to typing/, and add a function to recover environements from bin-annot files. - Move tools/typedtreeIter.ml to typing/ - Move the code of typing/typedtreeMap.ml from cmt_format.ml git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12702 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02