diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2007-12-04 13:38:58 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2007-12-04 13:38:58 +0000 |
| commit | e9a9bf961371899ed6d2bb02be98ab98c6adb5f6 (patch) | |
| tree | 91cd210ff2fd64cced560d5a63f3fbe3317f1e73 /toplevel/toploop.mli | |
| parent | 0593f338d4f9bb9942b6bc69e6786dba45f5d610 (diff) | |
| download | ocaml-e9a9bf961371899ed6d2bb02be98ab98c6adb5f6.tar.gz | |
PR#3114 make all error messages start with a location and "Error: "
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@8705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index 6b25941c83..35eb5dbf5b 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -80,6 +80,7 @@ val max_printer_steps: int ref val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) ref val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) ref val print_location : formatter -> Location.t -> unit +val print_error : formatter -> Location.t -> unit val print_warning : Location.t -> formatter -> Warnings.t -> unit val input_name : string ref |