From 445d1356303bc0c36eee47b94f4ebbd3938fa642 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <me@rgrinberg.com>
Date: Sun, 26 Sep 2021 21:07:42 -0600
Subject: [PATCH] Add repro for #4799

Private libraries attached to a package shouldn't be listed in the odoc
library index.

Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
---
 test/blackbox-tests/test-cases/odoc/gh4799.t | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100644 test/blackbox-tests/test-cases/odoc/gh4799.t

diff --git a/test/blackbox-tests/test-cases/odoc/gh4799.t b/test/blackbox-tests/test-cases/odoc/gh4799.t
new file mode 100644
index 000000000000..2ca51d6f21f1
--- /dev/null
+++ b/test/blackbox-tests/test-cases/odoc/gh4799.t
@@ -0,0 +1,20 @@
+Private libraries attached to packages shouldn't be displayed in the index
+
+  $ cat <<EOF > dune-project
+  > (lang dune 3.0)
+  > (package (name foo))
+  > EOF
+
+  $ cat <<EOF > dune
+  > (library
+  >  (name foo)
+  >  (package foo))
+  > EOF
+  > touch foo.ml bar.ml
+
+  $ dune build @doc
+  $ cat _build/default/_doc/_mlds/foo/index.mld
+  {0 foo index}
+  {1 Library foo}
+  The entry point of this library is the module:
+  {!module-Foo}.