diff --git a/test/blackbox-tests/dune.inc b/test/blackbox-tests/dune.inc index b8c3cdae..936b55b0 100644 --- a/test/blackbox-tests/dune.inc +++ b/test/blackbox-tests/dune.inc @@ -490,6 +490,14 @@ (run %{exe:cram.exe} -skip-versions 4.02.3 -test run.t) (diff? run.t run.t.corrected))))) +(alias + (name name-field-validation) + (deps (package dune) (source_tree test-cases/name-field-validation)) + (action + (chdir + test-cases/name-field-validation + (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected))))) + (alias (name no-installable-mode) (deps (package dune) (source_tree test-cases/no-installable-mode)) @@ -818,6 +826,7 @@ (alias missing-loc-run) (alias multi-dir) (alias multiple-private-libs) + (alias name-field-validation) (alias no-installable-mode) (alias no-name-field) (alias null-dep) @@ -908,6 +917,7 @@ (alias misc) (alias missing-loc-run) (alias multi-dir) + (alias name-field-validation) (alias no-installable-mode) (alias no-name-field) (alias null-dep) diff --git a/test/blackbox-tests/test-cases/name-field-validation/bar.ml b/test/blackbox-tests/test-cases/name-field-validation/bar.ml new file mode 100644 index 00000000..c392d87c --- /dev/null +++ b/test/blackbox-tests/test-cases/name-field-validation/bar.ml @@ -0,0 +1 @@ +Foo.run ();; diff --git a/test/blackbox-tests/test-cases/name-field-validation/dune b/test/blackbox-tests/test-cases/name-field-validation/dune new file mode 100644 index 00000000..dfa79dd3 --- /dev/null +++ b/test/blackbox-tests/test-cases/name-field-validation/dune @@ -0,0 +1,9 @@ +(library + (modules foo) + (name foo.bar) + (wrapped false)) + +(executable + (modules bar) + (name bar) + (libraries foo)) \ No newline at end of file diff --git a/test/blackbox-tests/test-cases/name-field-validation/dune-project b/test/blackbox-tests/test-cases/name-field-validation/dune-project new file mode 100644 index 00000000..6687faf2 --- /dev/null +++ b/test/blackbox-tests/test-cases/name-field-validation/dune-project @@ -0,0 +1 @@ +(lang dune 1.1) \ No newline at end of file diff --git a/test/blackbox-tests/test-cases/name-field-validation/foo.ml b/test/blackbox-tests/test-cases/name-field-validation/foo.ml new file mode 100644 index 00000000..66de3158 --- /dev/null +++ b/test/blackbox-tests/test-cases/name-field-validation/foo.ml @@ -0,0 +1 @@ +let run () = print_endline "foo" diff --git a/test/blackbox-tests/test-cases/name-field-validation/run.t b/test/blackbox-tests/test-cases/name-field-validation/run.t new file mode 100644 index 00000000..df486f6f --- /dev/null +++ b/test/blackbox-tests/test-cases/name-field-validation/run.t @@ -0,0 +1,5 @@ + $ dune exec ./bar.exe + File "dune", line 3, characters 7-14: + Error: invalid library name. + Hint: library names must be non-empty and composed only of the following characters: 'A'..'Z', 'a'..'z', '_' or '0'..'9' + [1]