Original bug ID: 162
Reporter: administrator
Status: closed
Resolution: won't fix
Priority: normal
Severity: feature
Category: ~DO NOT USE (was: OCaml general)

Bug description

Serait-il possible de modifier save_signature dans typing/env.ml de sorte
que si le fichier .cmi produit est identique à une ancienne version
existante, alors l'ancien fichier ne soit pas remplacé. Ceci accélérerait
considérablement les phases de compilation avec make, dans les cas où on
n'écrit pas soi-même le fichier .mli. J'avais pensé à générer la nouvelle
version en mémoire et de la comparer par md5, mais la taile importante de
certains fichiers .cmi (170k pour tk.cmi) peut poser problème.