diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-02 09:49:30 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-02 09:49:30 +0000 |
| commit | 754bc39c9049b1f2fd6388ffc1204d5c18d72e86 (patch) | |
| tree | 77bd11ab689fb193b1021b363bb6a456b418cae6 /driver/compile.ml | |
| parent | abb2a740b4755e882330b1eb3f98d15cedc077e0 (diff) | |
| download | ocaml-754bc39c9049b1f2fd6388ffc1204d5c18d72e86.tar.gz | |
Systematiser la simplification des signatures inferees (PR#3545)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7005 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 5adaae7875..c2eda45892 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -62,8 +62,7 @@ let interface ppf sourcefile outputprefix = 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 std_formatter "%a@." Printtyp.signature - (Typemod.simplify_signature sg); + fprintf std_formatter "%a@." Printtyp.signature sg; Warnings.check_fatal (); if not !Clflags.print_types then Env.save_signature sg modulename (outputprefix ^ ".cmi"); |