diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-22 11:58:51 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1995-05-22 11:58:51 +0000 |
| commit | 961db5eb54d33eb19105ed800c963ad75ce78425 (patch) | |
| tree | ea222f69a0674a6576ce51a79cad99cc25ca2532 | |
| parent | 6b4c07d3232b86732397c0cf5c607b64cbd9c623 (diff) | |
Ajout flag -wlambda.
Rectification affichage des tables.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@17 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | utils/clflags.ml | 2 | ||||
| -rw-r--r-- | utils/tbl.ml | 4 |
2 files changed, 4 insertions, 2 deletions
diff --git a/utils/clflags.ml b/utils/clflags.ml index 243e358ec..77d390935 100644 --- a/utils/clflags.ml +++ b/utils/clflags.ml @@ -17,3 +17,5 @@ and nopervasives = ref false (* -nopervasives *) let dump_lambda = ref false (* -dlambda *) and dump_instr = ref false (* -dinstr *) + +let write_lambda = ref false (* -wlambda *) diff --git a/utils/tbl.ml b/utils/tbl.ml index a921b693b..3daf8c1be 100644 --- a/utils/tbl.ml +++ b/utils/tbl.ml @@ -59,13 +59,13 @@ let rec iter f = function open Format let print print_key print_data tbl = - open_hovbox 2; + open_hvbox 2; print_string "[["; iter (fun k d -> open_hovbox 2; print_key k; print_string " ->"; print_space(); print_data d; print_string ";"; - close_box()) + close_box(); print_space()) tbl; print_string "]]"; close_box() |