diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-07 12:12:33 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-07 12:12:33 +0000 |
| commit | a9de661f1a09f2d4da1974b8555f3eb2a1316b38 (patch) | |
| tree | d6a8726e064c5dcd13082ffef73beb997bf1bca8 /toplevel/toploop.mli | |
| parent | bbccdbf1a2cfd721b0255a6e2861695b3aab11b6 (diff) | |
| download | ocaml-a9de661f1a09f2d4da1974b8555f3eb2a1316b38.tar.gz | |
Un peu de nettoyage de code + ajout personnalisation des "phrases" toplevel
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3617 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'toplevel/toploop.mli')
| -rw-r--r-- | toplevel/toploop.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/toploop.mli b/toplevel/toploop.mli index caddb5dcb7..e14bbf64af 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -80,6 +80,7 @@ val input_name : string ref val print_out_value : (formatter -> Outcometree.out_value -> unit) ref val print_out_type : (formatter -> Outcometree.out_type -> unit) ref val print_out_sig_item : (formatter -> Outcometree.out_sig_item -> unit) ref +val print_out_phrase : (formatter -> Outcometree.out_phrase -> unit) ref (* Used by Trace module *) |