From 242af96dba1bb152c842b92669b9991fbf28a8a5 Mon Sep 17 00:00:00 2001 From: Pierre Weis Date: Tue, 7 Mar 2000 18:22:19 +0000 Subject: =?UTF-8?q?Revision=20des=20messages=20premi=C3=A8re=20=C3=A9tape.?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2919 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- debugger/loadprinter.mli | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) (limited to 'debugger/loadprinter.mli') 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 -- cgit v1.2.1