diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1996-02-20 11:01:45 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1996-02-20 11:01:45 +0000 |
| commit | a76589a552b694b3888cd8853e7d2d469f51ac43 (patch) | |
| tree | 98e1673ce698df33065ec25fcc7d208c5df1fcd4 | |
| parent | ec7b415e4010e2a6bad7290cfa7e69e1b55d93e2 (diff) | |
Meilleur message d'erreur pour Illegal_renaming.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@649 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/env.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/env.ml b/typing/env.ml index 91630c492..0b9f1734a 100644 --- a/typing/env.ml +++ b/typing/env.ml @@ -91,7 +91,7 @@ let read_pers_struct modname filename = let crc = Digest.input ic in close_in ic; if ps.ps_name <> modname then - raise(Error(Illegal_renaming(modname, filename))); + raise(Error(Illegal_renaming(ps.ps_name, filename))); (ps, crc) with End_of_file | Failure _ -> close_in ic; @@ -601,6 +601,7 @@ let report_error = function print_string "Corrupted compiled interface"; print_space(); print_string filename | Illegal_renaming(modname, filename) -> + print_string "Wrong file naming:"; print_space(); print_string filename; print_space(); print_string "contains the compiled interface for"; print_space(); print_string modname |