From c84161527d2026d539b01159f4a2bcc01dbe48d3 Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Wed, 1 May 2024 10:29:17 -0700 Subject: [PATCH] test: show crash when defining a context named "install" (#10472) 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 + +