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 /Makefile.nt | |
| parent | 5b7fbfba8abe7a6ecac5897d48f6700229f07417 (diff) | |
| download | ocaml-776c46fce82af1c7d8ac0ce490c42bc5106a5cf6.tar.gz | |
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 'Makefile.nt')
| -rw-r--r-- | Makefile.nt | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Makefile.nt b/Makefile.nt index ae4c784dd0..e466327fa0 100644 --- a/Makefile.nt +++ b/Makefile.nt @@ -49,10 +49,11 @@ TYPING=typing/ident.cmo typing/path.cmo \ typing/datarepr.cmo typing/cmi_format.cmo typing/env.cmo \ typing/typedtree.cmo typing/ctype.cmo \ typing/printtyp.cmo typing/includeclass.cmo \ - typing/mtype.cmo typing/includecore.cmo \ + typing/mtype.cmo typing/envaux.cmo typing/includecore.cmo \ typing/includemod.cmo typing/parmatch.cmo \ typing/typetexp.cmo \ - typing/cmt_format.cmo typing/stypes.cmo typing/typecore.cmo \ + typing/typedtreeIter.cmo typing/typedtreeMap.cmo typing/cmt_format.cmo \ + typing/stypes.cmo typing/typecore.cmo \ typing/typedecl.cmo typing/typeclass.cmo \ typing/typemod.cmo |