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

Issue #30 resolved
Jun Furuse
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. Jun Furuse 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