From 0324e899571e8b069bcaf5c542fa79b6ffc5d02e Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Sun, 14 Sep 2025 23:03:25 -0700 Subject: [PATCH] test(include_subdirs): show missing dependency on module group Signed-off-by: Antonio Nuno Monteiro --- .../include-qualified/build-with-sandbox.t | 23 +++++++++++++++++++ 1 file changed, 23 insertions(+) diff --git a/test/blackbox-tests/test-cases/include-qualified/build-with-sandbox.t b/test/blackbox-tests/test-cases/include-qualified/build-with-sandbox.t index f305b144cac..6a2651b9c70 100644 --- a/test/blackbox-tests/test-cases/include-qualified/build-with-sandbox.t +++ b/test/blackbox-tests/test-cases/include-qualified/build-with-sandbox.t @@ -26,3 +26,26 @@ Transitive deps file includes the alias module $ cat _build/default/lib/.foo.objs/foo__Bar.impl.all-deps foo__Sub foo__Sub__Hello + + $ cat > lib/dune < (include_subdirs qualified) + > (library (name foo)) + > EOF + $ cat > lib/bar.ml < let hello = Sub.Hello.hello ^ Sub.world + > EOF + $ cat > lib/sub/sub.ml < module Hello = Hello + > let world = "world" + > EOF + $ cat > lib/sub/hello.ml < let hello = "hello from sub" + > EOF + + $ DUNE_SANDBOX=none dune build + $ DUNE_SANDBOX=symlink dune build + File "lib/bar.ml", line 1, characters 12-27: + 1 | let hello = Sub.Hello.hello ^ Sub.world + ^^^^^^^^^^^^^^^ + Error: The module Sub.Hello is an alias for module Foo__Sub__.Hello, which is missing + [1]