Dans save_signature, calculer les composantes avant de creer le fichier .cmi, pour etre sur de ne pas essayer de lire le .cmi pendant le calcul des composantes
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2108 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02master
parent
67971438ee
commit
4de5d32abf
|
@ -748,11 +748,11 @@ let imported_units() =
|
|||
|
||||
let save_signature sg modname filename =
|
||||
Btype.cleanup_abbrev ();
|
||||
let oc = open_out_bin filename in
|
||||
output_string oc cmi_magic_number;
|
||||
let comps =
|
||||
components_of_module empty Subst.identity
|
||||
(Pident(Ident.create_persistent modname)) (Tmty_signature sg) in
|
||||
let oc = open_out_bin filename in
|
||||
output_string oc cmi_magic_number;
|
||||
output_value oc (modname, sg, comps);
|
||||
flush oc;
|
||||
let crc = Digest.file filename in
|
||||
|
|
Loading…
Reference in New Issue