Fallback to implementation if there is no mli

ocaml · Apr 16, 2018 · 2aac534 · 2aac534
1 parent 3636fca
commit 2aac534
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 6 deletions.
diff --git a/src/ocamldep.ml b/src/ocamldep.ml
@@ -171,9 +171,13 @@ let rules ~(ml_kind:Ml_kind.t) ~dir ~modules
               );
             let build_paths dependencies =
               let dependency_file_path m =
-                Option.map
-                  (Module.file ~dir m Ml_kind.Intf)
-                 ~f:all_deps_path
+                let path =
+                  match Module.file ~dir m Ml_kind.Intf with
+                  | Some x -> Some x
+                  | None when Option.is_some alias_module -> None
+                  | None -> Module.file ~dir m Ml_kind.Impl
+                in
+                Option.map path ~f:all_deps_path
               in
               [single_deps_output]
               @ List.filter_map dependencies ~f:dependency_file_path

diff --git a/test/blackbox-tests/test-cases/github660/run.t b/test/blackbox-tests/test-cases/github660/run.t
@@ -16,6 +16,5 @@ to rely on these.
   hello
   $ echo 'let x = 1' >> no-interfaces/lib_sub.ml
   $ jbuilder runtest --root no-interfaces --display quiet -j1 2>&1 | grep -v Entering | grep -v ocamlopt
-  File "_none_", line 1:
-  Error: Files .main.eobjs/main.cmx and .main.eobjs/lib_sub.cmx
-         make inconsistent assumptions over interface Lib_sub
+          main alias runtest
+  hello