Re: [Caml-list] ocaml 4.03 and warning 52 : argument of this constructor should not be matched against a constant pattern

[Adrien Nader <adrien@notk.org>]

On Wed, Apr 27, 2016, Gabriel Scherer wrote:
> We now have a section of the reference manual (which has been updated to
> 4.03) on Warnings, and this particular warning is documented there:
>   http://caml.inria.fr/pub/docs/manual-ocaml/comp.html#s:comp-warnings
> 
> Feedback (for example as Mantis tickets) on which warnings are confusing
> and would deserve additional documentation -- or even patches to provide
> this documentation -- are warmly welcome.

Thanks for the documentation update. I've found the warning fairly
confusing and this makes it clear.

As a small note, in a library I use (I won't name it because I haven't
checked if there were a version more recent than a couple years), C
bindings use the built-in Failure exception. I guess this is because it
is so much more convenient when it comes to making C bindings.
Am I right that such scenario will always trigger this warning because
the warning attribute will never be removed from the OCaml upstream
definition of Failure?

PS: my only comment about the warning is maybe to state that all(?)
exceptions from the stdlib have the corresponding attribute set.

-- 
Adrien Nader