Skip to content

Better error message on missing files #386

@vch9

Description

@vch9

In our project, we have several targets such as (targets: foo.ml), which are a bunch of include.
However, these files only exist in _build/, in my specific case when calling:

$ bisect-ppx-report cobertura --coverage-path ${COVERAGE_OUTPUT} ${COBERTURA_REPORT}

I end up having a:

bisect-ppx-report: internal error, uncaught exception:
                   Sys_error("src/[...]/foo.ml: No such file or directory")

I don't really know how files are handled in the tool, would there be a convenient way to handle the targeted files?
Alternatively, could we catch No such file or directory and ignore them? Do you know a scenario where ignoring these last is a really bad idea?

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions