diff options
| author | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-04 10:08:19 +0000 |
|---|---|---|
| committer | Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr> | 2001-08-04 10:08:19 +0000 |
| commit | 3b5da7725e93872dcf596dc308c29be3be032f01 (patch) | |
| tree | e90a159f0fa455ab2ee68e43e4baeace7c329c08 /toplevel/toploop.mli | |
| parent | a5a1caa494f825523b779ef21b8418803ae970ed (diff) | |
Personalisation de l'affichage des valeurs et des types dans le toplevel.
Ajouté module Outcometree et des hooks dans le toplevel: print_out_value et
print_out_type. (j'ai oublié de mettre un message log dans le 1er commit)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3612 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 1e06f29fd..c7d58d844 100644 --- a/toplevel/toploop.mli +++ b/toplevel/toploop.mli @@ -78,6 +78,7 @@ val print_warning : Location.t -> formatter -> Warnings.t -> unit 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 (* Used by Trace module *) |