delta/ocaml.git/typing/cmt_format.ml, branch atomic_write_cmi

Create .annot and .cmt files atomically, like .cmi files

2017-09-01T15:26:00+00:00

Follow-up to MPR#7472.  The pattern "write to temporary file then rename"
is abstracted in the new function Misc.output_to_file_via_temporary
and applied to .cmi, .cmt and .annot files.

Avoid rebuilding cmi_info record when creating .cmti files (#781)

2016-08-30T11:11:01+00:00

Instead of rebuilding cmi_info in Cmt_format.save_cmt, the record
created in Env.save_signature is kept and passed to that function.  In
addition to simplifying the code, this avoids possible mismatch between
the two records, including:

  - Duplicated entry in cmi_crcs for the current unit as noted in #744.

  - Missing flags (Unsafe_string/Deprecated were not properly set in
    Cmt_format).

The interface is also stronger, since the signature passed to save_cmt
was supposed to be already mapped by Subst.for_saving but this was not
reflected in the API.

Update headers for the new license.

2016-02-18T15:59:16+00:00

Remains to be done: remove all headers in testsuite/tests.

Add warning for missing .cmx files

2015-12-26T08:29:47+00:00

Remove dead code.

2015-10-16T14:55:15+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@16512 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Replace TypedtreeMap with a more standard open-recursion iterator Tast_mapper. Keep TypedtreeMap/Iter for now, for external projects.

2014-12-22T09:36:41+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15739 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

Typedtree: add type information to primitive coercions

2014-11-17T11:55:24+00:00

This will enable type-directed optimizations during translation of
module coercions.

WARNING: this breaks Typedtree representation, magic number will have to
be adjusted.

From: Frederic Bour 

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@15582 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

re-commit Leo's weak-dependencies pull request

2014-05-07T00:34:20+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14755 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

revert commit 14719

2014-05-02T06:19:55+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14723 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

weak dependencies with -trans-mod (github/ocamllabs/weak-depends 45e980a,21856a7,merge)

2014-05-01T12:50:20+00:00

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14719 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02