diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-08 09:41:52 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2005-08-08 09:41:52 +0000 |
| commit | 0ba310639994de37ef4fac8d79c3912654effad7 (patch) | |
| tree | 3726ea2fafc7b05534a2ef6088963b827f9d6049 /driver | |
| parent | 5640bb83d729a6a209e13c5125af47df0e874e96 (diff) | |
| download | ocaml-0ba310639994de37ef4fac8d79c3912654effad7.tar.gz | |
Retour en arriere sur la simplification des signatures inferees (fix du PR#3545 du 2005-08-02), qui est completement bugge
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7012 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compile.ml | 3 | ||||
| -rw-r--r-- | driver/optcompile.ml | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index c2eda45892..5adaae7875 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -62,7 +62,8 @@ 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 sg; + fprintf std_formatter "%a@." Printtyp.signature + (Typemod.simplify_signature sg); Warnings.check_fatal (); if not !Clflags.print_types then Env.save_signature sg modulename (outputprefix ^ ".cmi"); diff --git a/driver/optcompile.ml b/driver/optcompile.ml index efaab9b650..56f7d16073 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -59,7 +59,8 @@ 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 sg; + fprintf std_formatter "%a@." Printtyp.signature + (Typemod.simplify_signature sg); Warnings.check_fatal (); if not !Clflags.print_types then Env.save_signature sg modulename (outputprefix ^ ".cmi"); |