diff options
| author | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-12 11:02:18 +0000 |
|---|---|---|
| committer | Fabrice Le Fessant <Fabrice.Le_fessant@inria.fr> | 2012-07-12 11:02:18 +0000 |
| commit | 776c46fce82af1c7d8ac0ce490c42bc5106a5cf6 (patch) | |
| tree | d9ede26c0b335912a2229d6e6b864b7d2bde3fac /otherlibs/win32unix | |
| parent | 5b7fbfba8abe7a6ecac5897d48f6700229f07417 (diff) | |
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
Diffstat (limited to 'otherlibs/win32unix')
0 files changed, 0 insertions, 0 deletions