diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-08 20:00:06 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-02-08 20:00:06 +0000 |
| commit | 39553e99728ed01708c4004d59d00e1dd73243f5 (patch) | |
| tree | 2c767f5a867592b98e3d8e64081b0e22d681ea10 /debugger/printval.ml | |
| parent | 02969bf3de46371bee8d9468b84d6bb40454794b (diff) | |
| download | ocaml-39553e99728ed01708c4004d59d00e1dd73243f5.tar.gz | |
Révision de l'impression à l'aide de format: utilisation de printf
pour condenser les programmes et aussi préparer une future (éventuelle)
internationalisation d'Objective Caml.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2796 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'debugger/printval.ml')
| -rw-r--r-- | debugger/printval.ml | 9 |
1 files changed, 4 insertions, 5 deletions
diff --git a/debugger/printval.ml b/debugger/printval.ml index 2c932f7c62..fd620358e1 100644 --- a/debugger/printval.ml +++ b/debugger/printval.ml @@ -71,7 +71,7 @@ let print_value max_depth obj ty env = check_depth env obj ty let print_named_value max_depth exp obj ty env = - open_box 2; + printf "@[<2>"; begin match exp with E_ident lid -> Printtyp.longident lid @@ -82,8 +82,7 @@ let print_named_value max_depth exp obj ty env = print_char '$'; print_int n end; Printtyp.reset (); Printtyp.mark_loops ty; - print_string " :"; print_space(); Printtyp.type_expr ty; - print_space(); print_string "="; print_space(); + printf " :@ "; Printtyp.type_expr ty; + printf "@ =@ "; print_value max_depth obj ty env; - close_box(); - print_newline() + printf "@]@." |