<div dir="ltr">I'm not convinced this is the good change. <div>- I see the point of namespacing to avoid conflicts but I suspect conciseness is also important here, if we want to use warning-tweaking directives in a fine-grained enough way</div>

<div>- I suspect that the idea of warning over unknown ocaml.foo attributes is papering over the real difficulty, which is the fact that it's very easy to make a mistake if warnings are ignored by default. While giving more structure to an "ocaml" namespace solves the particular problem Damien had with deprecated, chances are users will still have their problems with the warnings they define on their own (or what about [@@OCaml.warning]). We may want to think harder about resilience to user mistakes to aim for a less ad-hoc solution.</div>

</div><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Apr 14, 2014 at 5:18 PM, Alain Frisch <span dir="ltr"><<a href="mailto:alain.frisch@lexifi.com" target="_blank">alain.frisch@lexifi.com</a>></span> wrote:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Dear all,<br>
<br>
In order to mark cleanly which warnings are understood in a special way by the compiler, I've added an ocaml.* prefix to them.   Currently, the only such attributes are ocaml.deprecated and ocaml.warning.<br>
<br>
I'm planning to add (with a low priority) a new warning to report uses of unknown ocaml.* warnings (or known warnings applied to a wrong object).  This will allow to catch typos such as writing ocaml.warnings instead of ocaml.warning.<br>


<br>
<br>
Alain<br>
<br>
______________________________<u></u>_________________<br>
Caml-devel mailing list<br>
<a href="mailto:Caml-devel@yquem.inria.fr" target="_blank">Caml-devel@yquem.inria.fr</a><br>
<a href="http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-devel" target="_blank">http://yquem.inria.fr/cgi-bin/<u></u>mailman/listinfo/caml-devel</a><br>
</blockquote></div><br></div>