[warnings] Please fix OCaml warnings
ejgallego opened this issue · 1 comments
ejgallego commented
Dear devs,
in Coq we are considering requiring plugins in the CI to use the same set of compiler flags for warnings than the main Coq tree (c.f. coq/coq#9605 ), in particular, this means that the plugins should now compile warning-free, except for deprecation notices.
Note that some of the raised warnings are really fatal, [like missing match cases].
Please, try to fix OCaml warnings present in your codebase, thanks!