From ffa0b233b493eadd9b7b0a6a6f957441d3de0439 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Vouillon?= Date: Tue, 18 Mar 1997 21:10:38 +0000 Subject: [PATCH] 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 --- driver/compile.ml | 2 +- driver/optcompile.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/driver/compile.ml b/driver/compile.ml index 3ec7cb0f1b1e..d1f273b11e21 100644 --- 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 index a4989dd33edb..96c39bf5d1ba 100644 --- 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;