diff options
| -rw-r--r-- | tools/ocamlcp.ml | 1 | ||||
| -rw-r--r-- | typing/typemod.ml | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/tools/ocamlcp.ml b/tools/ocamlcp.ml index c43296097..9110d9024 100644 --- a/tools/ocamlcp.ml +++ b/tools/ocamlcp.ml @@ -40,6 +40,7 @@ module Options = Main_args.Make_options (struct let _I s = option_with_arg "-I" s let _impl s = option_with_arg "-impl" s let _intf s = option_with_arg "-intf" s + let _intf_suffix s = option_with_arg "-intf_suffix" s let _linkall = option "-linkall" let _make_runtime = option "-make_runtime" let _noassert = option "-noassert" diff --git a/typing/typemod.ml b/typing/typemod.ml index 8f58c485d..67e06be00 100644 --- a/typing/typemod.ml +++ b/typing/typemod.ml @@ -409,7 +409,7 @@ let type_implementation sourcefile prefixname modulename initial_env ast = let (str, sg, finalenv) = type_structure initial_env ast in if !Clflags.print_types then (Printtyp.signature sg; print_newline()); let coercion = - if Sys.file_exists (prefixname ^ ".mli") then begin + if Sys.file_exists (prefixname ^ !Config.interface_suffix) then begin let intf_file = try find_in_path !Config.load_path (prefixname ^ ".cmi") with Not_found -> prefixname ^ ".cmi" in |