diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-01 17:26:00 +0200 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2017-09-01 17:26:00 +0200 |
| commit | e42fc077879a48c8bd4d1d54b2702e1dba989303 (patch) | |
| tree | 34d9d22fa7b8b9bd8de71845df40291de7e0c8a0 /stdlib/list.ml | |
| parent | 58f841d3e332527bbe9627d67896cdca62ee5374 (diff) | |
| download | ocaml-atomic_write_cmi.tar.gz | |
Create .annot and .cmt files atomically, like .cmi filesatomic_write_cmi
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.
Diffstat (limited to 'stdlib/list.ml')
0 files changed, 0 insertions, 0 deletions