summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlain Frisch <alain@frisch.fr>2012-03-07 17:32:37 +0000
committerAlain Frisch <alain@frisch.fr>2012-03-07 17:32:37 +0000
commitb05e790798c08589bded8e4ee583c1016c2c3d0c (patch)
tree5114289269198010bf6682ef5055c2dbdc3a95d5
parent1be1d4e834c86acb7b9b1026b80ee271928bd210 (diff)
#5527: absolute filenames for more error messages.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@12199 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--bytecomp/bytelink.ml19
1 files changed, 12 insertions, 7 deletions
diff --git a/bytecomp/bytelink.ml b/bytecomp/bytelink.ml
index f55181d9f..9bc5790c2 100644
--- a/bytecomp/bytelink.ml
+++ b/bytecomp/bytelink.ml
@@ -578,20 +578,25 @@ open Format
let report_error ppf = function
| File_not_found name ->
- fprintf ppf "Cannot find file %s" name
+ fprintf ppf "Cannot find file %a" Location.print_filename name
| Not_an_object_file name ->
- fprintf ppf "The file %s is not a bytecode object file" name
+ fprintf ppf "The file %a is not a bytecode object file"
+ Location.print_filename name
| Symbol_error(name, err) ->
- fprintf ppf "Error while linking %s:@ %a" name
+ fprintf ppf "Error while linking %a:@ %a" Location.print_filename name
Symtable.report_error err
| Inconsistent_import(intf, file1, file2) ->
fprintf ppf
- "@[<hov>Files %s@ and %s@ \
+ "@[<hov>Files %a@ and %a@ \
make inconsistent assumptions over interface %s@]"
- file1 file2 intf
+ Location.print_filename file1
+ Location.print_filename file2
+ intf
| Custom_runtime ->
fprintf ppf "Error while building custom runtime system"
| File_exists file ->
- fprintf ppf "Cannot overwrite existing file %s" file
+ fprintf ppf "Cannot overwrite existing file %a"
+ Location.print_filename file
| Cannot_open_dll file ->
- fprintf ppf "Error on dynamically loaded library: %s" file
+ fprintf ppf "Error on dynamically loaded library: %a"
+ Location.print_filename file