Verification que toutes les variables sont bien generiques *avant* de

sauver l'interface d'un fichier .ml git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1415 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
bmeurer · Mar 18, 1997 · ffa0b23 · ffa0b23
1 parent 5585ccb
commit ffa0b23
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/driver/compile.ml b/driver/compile.ml
@@ -134,8 +134,8 @@ let implementation sourcefile =
         let (dclsig, crc) = Env.read_signature modulename intf_file in
         (Includemod.compunit sourcefile sg intf_file dclsig, crc)
       end else begin
-        let crc = Env.save_signature sg modulename (prefixname ^ ".cmi") in
         Typemod.check_nongen_schemes finalenv str;
+        let crc = Env.save_signature sg modulename (prefixname ^ ".cmi") in
         (Tcoerce_none, crc)
       end in
     Emitcode.to_file oc modulename crc

diff --git a/driver/optcompile.ml b/driver/optcompile.ml
@@ -125,8 +125,8 @@ let implementation sourcefile =
       let (dclsig, crc) = Env.read_signature modulename intf_file in
       (Includemod.compunit sourcefile sg intf_file dclsig, crc)
     end else begin
-      let crc = Env.save_signature sg modulename (prefixname ^ ".cmi") in
       Typemod.check_nongen_schemes finalenv str;
+      let crc = Env.save_signature sg modulename (prefixname ^ ".cmi") in
       (Tcoerce_none, crc)
     end in
   Compilenv.reset modulename crc;