diff options
| author | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-18 21:10:38 +0000 |
|---|---|---|
| committer | Jérôme Vouillon <Jerome.Vouillon@pps.jussieu.fr> | 1997-03-18 21:10:38 +0000 |
| commit | ffa0b233b493eadd9b7b0a6a6f957441d3de0439 (patch) | |
| tree | e25542b71f5bfa5458275de8616bc65c78c6ee3f /driver/compile.ml | |
| parent | 5585ccb86bcbdb904a8c1921268c98bbc86111ee (diff) | |
| download | ocaml-ffa0b233b493eadd9b7b0a6a6f957441d3de0439.tar.gz | |
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
Diffstat (limited to 'driver/compile.ml')
| -rw-r--r-- | driver/compile.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index 3ec7cb0f1b..d1f273b11e 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 |