From 61df58f0c9eedd6656973d82a66ff143c6ba8de4 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Tue, 5 Sep 2023 14:19:02 +0200 Subject: [PATCH] test(init): sublibraries should be accepted --- .../test-cases/dune-init/public-sublibrary.t | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 test/blackbox-tests/test-cases/dune-init/public-sublibrary.t diff --git a/test/blackbox-tests/test-cases/dune-init/public-sublibrary.t b/test/blackbox-tests/test-cases/dune-init/public-sublibrary.t new file mode 100644 index 000000000000..9507ea99da0d --- /dev/null +++ b/test/blackbox-tests/test-cases/dune-init/public-sublibrary.t @@ -0,0 +1,10 @@ +Sub-library names should be accepted: + + $ dune init lib lib_s1_s2 --public lib.sub1.sub2 + dune: option '--public': invalid component name `lib.sub1.sub2' + Library names must be non-empty and composed only of the + following + characters: 'A'..'Z', 'a'..'z', '_' or '0'..'9'. + Usage: dune init library [OPTION]… NAME [PATH] + Try 'dune init library --help' or 'dune --help' for more information. + [1]