Skip to content

Commit

Permalink
test: show crash when defining a context named "install"
Browse files Browse the repository at this point in the history
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
  • Loading branch information
anmonteiro committed May 1, 2024
1 parent 69a24a4 commit 9f07676
Showing 1 changed file with 27 additions and 0 deletions.
27 changes: 27 additions & 0 deletions test/blackbox-tests/test-cases/workspaces/custom-context-names.t
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@

$ cat > dune-workspace << EOF
> (lang dune 3.13)
> (context default)
> (context
> (default
> (name log)))
> EOF

$ dune build
File "dune-workspace", line 5, characters 8-11:
5 | (name log)))
^^^
Error: "log" is an invalid context name.
[1]

$ cat > dune-workspace << EOF
> (lang dune 3.13)
> (context default)
> (context
> (default
> (name install)))
> EOF
$ dune build 2>&1 | grep "must not crash"
I must not crash. Uncertainty is the mind-killer. Exceptions are the


0 comments on commit 9f07676

Please sign in to comment.