diff options
| author | alainfrisch <alain@frisch.fr> | 2017-09-11 23:36:17 +0200 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2017-09-12 00:36:46 +0200 |
| commit | 80eeb3af48c6913fc5bd8ad19f05ca93cfcda6a5 (patch) | |
| tree | 650c65745f54fe464fe479573680a3e775cb1050 /manual | |
| parent | 23da3d3f3bbb46ef3ded1319d573a322e889b17a (diff) | |
| download | ocaml-80eeb3af48c6913fc5bd8ad19f05ca93cfcda6a5.tar.gz | |
Document that some warnings cannot be controlled by ocaml.warning.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/refman/exten.etex | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex index 4345346432..d9ecb1e8d4 100644 --- a/manual/manual/refman/exten.etex +++ b/manual/manual/refman/exten.etex @@ -1598,6 +1598,9 @@ Some attributes are understood by the type-checker: in which case its scope is limited to that item. Note that it is not well-defined which scope is used for a specific warning. This is implementation dependant and can change between versions. + Some warnings are even completely outside the control of ``ocaml.warning'' + (for instance, warnings 1, 2, 14, 29 and 50). + \item ``ocaml.warnerror'' or ``warnerror'', with a string literal payload. Same as ``ocaml.warning'', for the "-warn-error" command-line option. |