diff options
author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-07 18:22:19 +0000 |
---|---|---|
committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-03-07 18:22:19 +0000 |
commit | 242af96dba1bb152c842b92669b9991fbf28a8a5 (patch) | |
tree | a6fdc32c36d4c33d4b4b0351f4237e800e1005cb /debugger/loadprinter.mli | |
parent | cb7ba09182b80f1806b08c8a2553087812fa3be1 (diff) | |
download | ocaml-242af96dba1bb152c842b92669b9991fbf28a8a5.tar.gz |
Revision des messages première étape.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/loadprinter.mli')
-rw-r--r-- | debugger/loadprinter.mli | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/debugger/loadprinter.mli b/debugger/loadprinter.mli index 5e2f282257..bdaf77a285 100644 --- a/debugger/loadprinter.mli +++ b/debugger/loadprinter.mli @@ -14,14 +14,16 @@ (* Loading and installation of user-defined printer functions *) -val loadfile : string -> unit -val install_printer : Longident.t -> unit +open Format + +val loadfile : formatter -> string -> unit +val install_printer : formatter -> Longident.t -> unit val remove_printer : Longident.t -> unit (* Error report *) type error = - Load_failure of Dynlink.error + | Load_failure of Dynlink.error | Unbound_identifier of Longident.t | Unavailable_module of string * Longident.t | Wrong_type of Longident.t @@ -29,4 +31,4 @@ type error = exception Error of error -val report_error: error -> unit +val report_error: formatter -> error -> unit |