diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2011-11-29 15:55:49 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2011-11-29 15:55:49 +0000 |
commit | 8b700ead507ba7fd33c0ba01ec3efb40c984e7f4 (patch) | |
tree | 6dc3cb8b0f8ff9efcb2296ac527ce5b388ae1152 | |
parent | 456473d87f09d1a4bc661ff7e328e2b806459ff2 (diff) |
better reporting of wrong version for .cmi files
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11292 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r-- | Changes | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -16,6 +16,7 @@ Language features: Compilers: - Revised simplification of let-alias (PR#5205, PR#5288) +- Better reporting of compiler version mismatch in .cmi files Native-code compiler: - Optimized handling of partially-applied functions (PR#5287) |