Re-faire marcher la trace (PR#213)

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3327 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 13 insertions, 0 deletions

diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli
index bcf0b1fbc1..bbe1b41d10 100644
--- a/toplevel/toploop.mli
+++ b/toplevel/toploop.mli
@@ -54,6 +54,19 @@ val use_silently : formatter -> string -> bool
         (* Read and execute commands from a file.
            [use_file] prints the types and values of the results.
            [use_silently] does not print them. *)
+val eval_path: Path.t -> Obj.t
+        (* Return the toplevel object referred to by the given path *)
+
+(* Printing of values *)
+
+val print_value: Env.t -> Obj.t -> formatter -> Types.type_expr -> unit
+val print_untyped_exception: formatter -> Obj.t -> unit
+
+val install_printer : Path.t -> Types.type_expr -> (Obj.t -> unit) -> unit
+val remove_printer : Path.t -> unit
+
+val max_printer_depth: int ref
+val max_printer_steps: int ref
 
 (* Hooks for an external parser *)