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 780d98e commit f390380
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 f390380

Please sign in to comment.