Stream: Coq users

Topic: Fatal warnings

view this post on Zulip Ali Caglayan (Sep 18 2023 at 13:40):

Do we have a way to mark warnings as fatal? I seem to recall that we did but searching around I cannot find anything. Perhaps I am getting confused with OCaml?

view this post on Zulip Paolo Giarrusso (Sep 18 2023 at 13:47):

-w +warn-code

view this post on Zulip Théo Zimmermann (Sep 18 2023 at 13:52):

-w +all / -w +default to make all warnings fatal / all default warnings fatal

Last updated: Jun 22 2024 at 15:01 UTC