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]