codept

codept copied to clipboard

Avoid modulizing filename when reading file

3

The original behavior was to modulize the filename in Read.file as a convenience to the caller. Then the caller Unit.read_file would ignore the modulize filename. This behavior is a bug...

jonahbeckford

In the following snippet: ```ocaml 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...

jonahbeckford