diff options
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 |