Commit 7590f37
Deduplicate some more errors while solving portable lockdirs
Replaces [User_error.raise] with [User_error.make] in a couple of places
so printing error messages can be deferred until all the concurrent
fibers solving on different platforms complete and errors can be
deduplicated.
Signed-off-by: Stephen Sherratt <[email protected]>1 parent 1ee4d7d commit 7590f37
File tree
2 files changed
+239
-194
lines changed- src/dune_pkg
- test/blackbox-tests/test-cases/pkg/portable-lockdirs
2 files changed
+239
-194
lines changed
0 commit comments