diff options
| author | Pierre Weis <Pierre.Weis@inria.fr> | 2000-04-25 11:44:23 +0000 |
|---|---|---|
| committer | Pierre Weis <Pierre.Weis@inria.fr> | 2000-04-25 11:44:23 +0000 |
| commit | b3d71d8f78b0d08b827119df51e4069dc563ba11 (patch) | |
| tree | e65c4adc0d84f7982c86455785dc3b4813e57aa2 /driver/compile.ml | |
| parent | 61aaac27e223b34d1171056faa970608f7eecfce (diff) | |
| download | ocaml-b3d71d8f78b0d08b827119df51e4069dc563ba11.tar.gz | |
L'option -i doit envoyer sa production sur stdout (donc std_formatter).
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3137 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index d4a555df35..ef176394bc 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -106,7 +106,8 @@ let interface ppf sourcefile = let ast = parse_file inputfile Parse.interface ast_intf_magic_number in if !Clflags.dump_parsetree then fprintf ppf "%a@." Printast.interface ast; let sg = Typemod.transl_signature (initial_env()) ast in - if !Clflags.print_types then fprintf ppf "%a@." Printtyp.signature sg; + if !Clflags.print_types + then fprintf std_formatter "%a@." Printtyp.signature sg; Env.save_signature sg modulename (prefixname ^ ".cmi"); remove_preprocessed inputfile |