Add reproduction case for 2033

Signed-off-by: Rudi Grinberg <[email protected]>
ocaml · Apr 9, 2019 · 5ac44ec · 5ac44ec
1 parent 7388c24
commit 5ac44ec
Show file tree

Hide file tree

Showing 4 changed files with 23 additions and 0 deletions.
diff --git a/test/blackbox-tests/dune.inc b/test/blackbox-tests/dune.inc
@@ -595,6 +595,14 @@
    test-cases/github20
    (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
 
+(alias
+ (name github2033)
+ (deps (package dune) (source_tree test-cases/github2033))
+ (action
+  (chdir
+   test-cases/github2033
+   (progn (run %{exe:cram.exe} -test run.t) (diff? run.t run.t.corrected)))))
+
 (alias
  (name github24)
  (deps (package dune) (source_tree test-cases/github24))
@@ -1443,6 +1451,7 @@
   (alias github1856)
   (alias github1946)
   (alias github20)
+  (alias github2033)
   (alias github24)
   (alias github25)
   (alias github534)
@@ -1606,6 +1615,7 @@
   (alias github1856)
   (alias github1946)
   (alias github20)
+  (alias github2033)
   (alias github24)
   (alias github25)
   (alias github534)

diff --git a/test/blackbox-tests/test-cases/github2033/dune b/test/blackbox-tests/test-cases/github2033/dune
@@ -0,0 +1,3 @@
+(library
+ (name hello_world)
+ (c_names file.xx))
diff --git a/test/blackbox-tests/test-cases/github2033/file.xx.c b/test/blackbox-tests/test-cases/github2033/file.xx.c
diff --git a/test/blackbox-tests/test-cases/github2033/run.t b/test/blackbox-tests/test-cases/github2033/run.t
@@ -0,0 +1,10 @@
+. should be allowed in c names
+  $ dune build
+  Info: creating file dune-project with this contents:
+  | (lang dune 1.9)
+
+  File "dune", line 3, characters 10-17:
+  3 |  (c_names file.xx))
+                ^^^^^^^
+  Error: file.xx does not exist as a C source. file.xx.c must be present
+  [1]