bug fix: simplified signature

git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cducetrunk@8274 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02

1 files changed, 2 insertions, 2 deletions

diff --git a/typing/typemod.ml b/typing/typemod.ml
index 5aeaa1f294..1ac399a2ba 100644
--- a/typing/typemod.ml
+++ b/typing/typemod.ml
@@ -799,7 +799,6 @@ let type_implementation sourcefile outputprefix modulename initial_env ast =
     Misc.try_finally (fun () -> type_structure initial_env ast)
                      (fun () -> Typeext.register_exttypes (); Stypes.dump (outputprefix ^ ".annot"))
   in
-  let simple_sg = simplify_signature sg in
   Typecore.force_delayed_checks ();
 
   Typeext.flush_ext_annot finalenv;
@@ -812,10 +811,11 @@ let type_implementation sourcefile outputprefix modulename initial_env ast =
                      (fun () -> Typeext.register_exttypes (); Stypes.dump (outputprefix ^ ".annot"))
   in
   Typecore.force_delayed_checks ();
+  let simple_sg = simplify_signature sg in
 
   if !Clflags.print_types then begin
     Typeext.solve finalenv;
-    fprintf std_formatter "%a@." Printtyp.signature (simplify_signature sg);
+    fprintf std_formatter "%a@." Printtyp.signature simple_sg;
     (str, Tcoerce_none)   (* result is ignored by Compile.implementation *)
   end else begin
     let sourceintf =