From 9f07676bf033e61b5b877d5f0ac50dc9882d2760 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Tue, 30 Apr 2024 16:16:13 -0700 Subject: [PATCH] test: show crash when defining a context named "install" Signed-off-by: Antonio Nuno Monteiro --- .../workspaces/custom-context-names.t | 27 +++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 test/blackbox-tests/test-cases/workspaces/custom-context-names.t diff --git a/test/blackbox-tests/test-cases/workspaces/custom-context-names.t b/test/blackbox-tests/test-cases/workspaces/custom-context-names.t new file mode 100644 index 00000000000..048b61d2fea --- /dev/null +++ b/test/blackbox-tests/test-cases/workspaces/custom-context-names.t @@ -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 + +