matthieu
/
dune
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Add test case for name when it doesn't matter 

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
This commit is contained in:
Rudi Grinberg 2018-08-08 10:59:12 +03:00
parent 925bc84427
commit c08cec1f4b
4 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
test/blackbox-tests/test-cases/no-name-field/public-name-invalid-wrapped-false/dune Normal file
View File

@ -0,0 +1,3 @@
(library
(wrapped false)
(public_name foo.bar))

0
test/blackbox-tests/test-cases/no-name-field/public-name-invalid-wrapped-false/foo.ml Normal file
View File

0
test/blackbox-tests/test-cases/no-name-field/public-name-invalid-wrapped-false/foo.opam Normal file
View File

11
test/blackbox-tests/test-cases/no-name-field/run.t
View File

@ -26,3 +26,14 @@ there's only a public name but it's invalid as a name
Hint: library names must be non-empty and composed only of the following characters: 'A'..'Z', 'a'..'z', '_' or '0'..'9'.
Public library names don't have this restriction. You can either change this public name to be a valid library name or add a "name" field with a valid library name.
[1]
there's only a public name which is invalid, but sine the library is unwrapped,
it's just a warning
$ dune build --root public-name-invalid-wrapped-false
Info: creating file dune-project with this contents: (lang dune 1.1)
File "dune", line 3, characters 14-21:
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'.
Public library names don't have this restriction. You can either change this public name to be a valid library name or add a "name" field with a valid library name.
[1]