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.ml | |
| 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.ml')
| -rw-r--r-- | toplevel/toploop.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/toplevel/toploop.ml b/toplevel/toploop.ml index bc236bf3a..c907683eb 100644 --- a/toplevel/toploop.ml +++ b/toplevel/toploop.ml @@ -78,6 +78,7 @@ let max_printer_depth = ref 100 let max_printer_steps = ref 300 let print_out_value = ref Printer.print_outval +let print_out_type = Printtyp.outcome_type_hook let print_untyped_exception ppf obj = !print_out_value ppf (Printer.outval_of_untyped_exception obj) |