diff options
| author | Alain Frisch <alain@frisch.fr> | 2014-05-07 12:46:00 +0000 |
|---|---|---|
| committer | Alain Frisch <alain@frisch.fr> | 2014-05-07 12:46:00 +0000 |
| commit | f0ef09de26c9c5dd6ac73b79309b016b3c5deaa2 (patch) | |
| tree | 8185833a877e728ef94092163d69cd4c1cc24b7b /driver | |
| parent | 36b25ec2f6847cd8f27862e2bde4f79a35dd975b (diff) | |
Expose a Typemod.type_interface (currently an alias of Typemod.transl_signature) by symmetry with type_implementation.
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@14759 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'driver')
| -rw-r--r-- | driver/compile.ml | 2 | ||||
| -rw-r--r-- | driver/optcompile.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/driver/compile.ml b/driver/compile.ml index bc9201e26..a200b5363 100644 --- a/driver/compile.ml +++ b/driver/compile.ml @@ -31,7 +31,7 @@ let interface ppf sourcefile outputprefix = let ast = Pparse.parse_interface ppf sourcefile in if !Clflags.dump_parsetree then fprintf ppf "%a@." Printast.interface ast; if !Clflags.dump_source then fprintf ppf "%a@." Pprintast.signature ast; - let tsg = Typemod.transl_signature initial_env ast in + let tsg = Typemod.type_interface initial_env ast in if !Clflags.dump_typedtree then fprintf ppf "%a@." Printtyped.interface tsg; let sg = tsg.sig_type in if !Clflags.print_types then diff --git a/driver/optcompile.ml b/driver/optcompile.ml index 625c0223e..9b70cee04 100644 --- a/driver/optcompile.ml +++ b/driver/optcompile.ml @@ -32,7 +32,7 @@ let interface ppf sourcefile outputprefix = let ast = Pparse.parse_interface ppf sourcefile in if !Clflags.dump_parsetree then fprintf ppf "%a@." Printast.interface ast; if !Clflags.dump_source then fprintf ppf "%a@." Pprintast.signature ast; - let tsg = Typemod.transl_signature initial_env ast in + let tsg = Typemod.type_interface initial_env ast in if !Clflags.dump_typedtree then fprintf ppf "%a@." Printtyped.interface tsg; let sg = tsg.sig_type in if !Clflags.print_types then |