Issue #30 resolved

Source files (.ml/.mli) may be copied from the original location

camlspotter
repo owner created an issue

ocamlspot against an installed mli file fails, since the corresponding cmti points not to the installed cmi but to the source mli.

We must redirect the search.

Comments (2)

  1. camlspotter reporter

    In the worst case, ml and cmt can be both copied to the installation directory while the sources are removed. We need a workaround for this kind of case.

  2. Log in to comment