codept icon indicating copy to clipboard operation
codept copied to clipboard

Feature request: Expose source code location for Failure.Extern missing modules

Open jonahbeckford opened this issue 1 year ago • 0 comments

In the following snippet:

let (map: ('a Solver.i * Solver.Failure.status option ref) Nms.map), _cmap =
    Solver.Failure.analyze block resolver pending

when the Solver.Failure.status matches | Solver.Failure.Extern (path: Namespaced.t)

there does not seem to be enough information to report the location (line number, column) of the missing Extern path. (More accurately, the line/col for one of the missing module references).

At best the pseudocodelet {Solver.input; _} = (i: 'a Solver.i) can be used to find the filename with Pkg.filename input.src.

jonahbeckford avatar Apr 12 '24 17:04 jonahbeckford