diff options
| author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-03-13 12:59:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-13 12:59:34 +0100 |
| commit | 57d329e07b50e6869875471b085541baadcb8376 (patch) | |
| tree | e7d0db9e55765c0ac778523fb1c25c8f22550408 /compilerlibs | |
| parent | 7fd5dd9fdc8e1b473cf971cd61f21f3c92055aad (diff) | |
| download | ocaml-57d329e07b50e6869875471b085541baadcb8376.tar.gz | |
Deprecate -annot (#2141)
* Move driver code from Cmt2annot to Read_cmt
* Move cmt2annot.ml into typing/
* make depend
* Use standard error handling
* Move specific logic to read_cmt
* Do not pass full cmt record as argument
* Better locations
* Emit .annot files produced from cmt data
* Remove direct calls to Stypes
* Deprecate -annot
* Changes
* make depend
* Adapt doc
* make -C tools depend
Diffstat (limited to 'compilerlibs')
| -rw-r--r-- | compilerlibs/Makefile.compilerlibs | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/compilerlibs/Makefile.compilerlibs b/compilerlibs/Makefile.compilerlibs index 5ce1945b8d..4bcd179c1e 100644 --- a/compilerlibs/Makefile.compilerlibs +++ b/compilerlibs/Makefile.compilerlibs @@ -54,10 +54,10 @@ TYPING=typing/ident.cmo typing/path.cmo \ typing/typedtree.cmo typing/printtyped.cmo typing/ctype.cmo \ typing/printtyp.cmo typing/includeclass.cmo \ typing/mtype.cmo typing/envaux.cmo typing/includecore.cmo \ - typing/tast_iterator.cmo typing/tast_mapper.cmo \ - file_formats/cmt_format.cmo typing/untypeast.cmo \ + typing/tast_iterator.cmo typing/tast_mapper.cmo typing/stypes.cmo \ + file_formats/cmt_format.cmo typing/cmt2annot.cmo typing/untypeast.cmo \ typing/includemod.cmo typing/typetexp.cmo typing/printpat.cmo \ - typing/parmatch.cmo typing/stypes.cmo \ + typing/parmatch.cmo \ typing/typedecl_properties.cmo typing/typedecl_variance.cmo \ typing/typedecl_unboxed.cmo typing/typedecl_immediacy.cmo \ typing/typedecl_separability.cmo \ |