Test case for bug report (#6725)

Test the situation where we have: 1. an empty library A 2. an executable with a module A 3. conditional module selection in the exe Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Feb 28, 2023 · 3f75e20 · 3f75e20
1 parent 93e8a95
commit 3f75e20
Show file tree

Hide file tree

Showing 6 changed files with 22 additions and 0 deletions.
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/a.pre_413.ml b/test/blackbox-tests/test-cases/empty-modules.t/a.pre_413.ml
@@ -0,0 +1 @@
+let () = ()
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/a.unix.ml b/test/blackbox-tests/test-cases/empty-modules.t/a.unix.ml
@@ -0,0 +1 @@
+let () = ()
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/dune b/test/blackbox-tests/test-cases/empty-modules.t/dune
@@ -0,0 +1,13 @@
+(library
+ (name a)
+ (modules))
+
+(executable
+ (name main)
+ (modules a main)
+ (libraries
+  (select
+   a.ml
+   from
+   (a -> a.pre_413.ml)
+   (-> a.unix.ml))))
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/dune-project b/test/blackbox-tests/test-cases/empty-modules.t/dune-project
@@ -0,0 +1 @@
+(lang dune 2.5)
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/main.ml b/test/blackbox-tests/test-cases/empty-modules.t/main.ml
@@ -0,0 +1 @@
+print_endline "foobar";
diff --git a/test/blackbox-tests/test-cases/empty-modules.t/run.t b/test/blackbox-tests/test-cases/empty-modules.t/run.t
@@ -0,0 +1,5 @@
+An executable with a module that has the same name as a library in the same
+directory.
+
+  $ dune exec ./main.exe
+  foobar