diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-02 08:51:55 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-02 08:51:55 +0000 |
| commit | 10078faaa7095878adc15d486f599be2e85bab7e (patch) | |
| tree | 5292e8fa60d1edaa47e160c2f196cc0ed227303c /toplevel/toploop.mli | |
| parent | c8235d0e51799915f01f736282d5eb58d8bdfa4e (diff) | |
| download | ocaml-10078faaa7095878adc15d486f599be2e85bab7e.tar.gz | |
-
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3608 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index a1bcc61975..1e06f29fd6 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -69,7 +69,7 @@ val remove_printer : Path.t -> unit val max_printer_depth: int ref val max_printer_steps: int ref -(* Hooks for an external parser *) +(* Hooks for external parsers and printers *) val parse_toplevel_phrase : (Lexing.lexbuf -> Parsetree.toplevel_phrase) ref val parse_use_file : (Lexing.lexbuf -> Parsetree.toplevel_phrase list) ref @@ -77,6 +77,8 @@ val print_location : formatter -> Location.t -> unit val print_warning : Location.t -> formatter -> Warnings.t -> unit val input_name : string ref +val print_out_value : (formatter -> Outcometree.out_value -> unit) ref + (* Used by Trace module *) val may_trace : bool ref |