Skip to content

Commit

Permalink
[maintenance]: mark warning 5: ignored partial application as an erro…
Browse files Browse the repository at this point in the history
…r in release mode

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 <[email protected]>
  • Loading branch information
edwintorok committed Nov 6, 2023
1 parent d9d6103 commit 050fd9d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion dune
Original file line number Diff line number Diff line change
Expand Up @@ -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))
)
)
Expand Down

0 comments on commit 050fd9d

Please sign in to comment.