Skip to content

Commit

Permalink
reproduce #2938
Browse files Browse the repository at this point in the history
Signed-off-by: Rudi Grinberg <me@rgrinberg.com>
  • Loading branch information
rgrinberg committed Aug 19, 2020
1 parent ffd83a1 commit 4342cb3
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions test/blackbox-tests/test-cases/github2938.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,13 @@
$ cat >dune-project <<EOF
> (lang dune 2.7)
> EOF
$ cat >dune <<EOF
> (* -*- tuareg -*- *)
> let () = Jbuild_plugin.V1.send {|(dirs foo)|}
> EOF
$ dune build
File "_build/.dune/default/dune", line 1, characters 1-5:
1 | (dirs foo)
^^^^
Error: Unknown constructor dirs
[1]

0 comments on commit 4342cb3

Please sign in to comment.