From f390380af2f81f099d59b996235ef448d5c68d07 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Edwin=20T=C3=B6r=C3=B6k?= Date: Mon, 6 Nov 2023 17:45:12 +0000 Subject: [PATCH] [maintenance]: mark warning 5: ignored partial application as an error in release mode MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit When introducing new fields all code that creates the object must be updated to pass the new labeled argument. If you forget to do that for the unit test then the unit test will compile and run with a warning, but fail at runtime because the host wasn't actually created. In dev mode this is already an error, so change release mode to also make it an error to detect the problem earlier, instead of a non-obvious failure in 'Test_pvs_cache_storage'. Signed-off-by: Edwin Török --- dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dune b/dune index 1774031f056..e2b4842adb5 100644 --- a/dune +++ b/dune @@ -5,7 +5,7 @@ ) (dev (flags (:standard -g -w -39))) (release - (flags (:standard -w -39-6)) + (flags (:standard -w -39-6@5)) (env-vars (ALCOTEST_COMPACT 1)) ) )