Rudi Grinberg

Could you stick to `check-index` or `index-all` for now? The only reason vendored sources aren't included in `@check` is because of a bug.

> Right now to get the set of hidden deps I use requires_link \ requires_compile and it appears to work, but is that correct ? Is there a better way...

There's no need

"strict" I think is too vague and open to interpretation. I wouldn't mind constructors for `Xdg.t` that interpret the spec differently. In the end, all that matters for us is...

I can investigate the issue, but the example has to be simplified further. Try to shave off all the unnecessary dependencies in your repro

Managed to confirm your repro. The issue is that since default implementations must live in the same package as the virtual libraries, we need to resolve more eagerly than normal...

You can try the following patch as a start: ``` diff --git a/src/dune_rules/lib.ml b/src/dune_rules/lib.ml index 5d24a3194..1fb1a6beb 100644 --- a/src/dune_rules/lib.ml +++ b/src/dune_rules/lib.ml @@ -1813,18 +1813,7 @@ module Compile = struct }...

I tried understanding the example, but there's still too many dependencies for me to really understand what's happening. I can at least start that the following error: ``` File "duniverse/mirage-time/unix/dune",...

I think I managed to reproduce the issue here https://github.com/ocaml/dune/pull/10580

You can try the fix at #10581