diff options
| author | alainfrisch <alain@frisch.fr> | 2017-07-18 11:42:33 +0200 |
|---|---|---|
| committer | alainfrisch <alain@frisch.fr> | 2017-09-12 00:36:46 +0200 |
| commit | b074e5666a07c73344cbcd2b0b93dbdfcef56a9f (patch) | |
| tree | c03993365a5d89aa451e994f2e0793d7ef14d8f3 /manual | |
| parent | 8034e2605671aefe7a0abe24b3c69398057d5423 (diff) | |
| download | ocaml-b074e5666a07c73344cbcd2b0b93dbdfcef56a9f.tar.gz | |
Documentation.
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/manual/refman/exten.etex | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/manual/manual/refman/exten.etex b/manual/manual/refman/exten.etex index e027cc829e..81da69e9ea 100644 --- a/manual/manual/refman/exten.etex +++ b/manual/manual/refman/exten.etex @@ -1593,8 +1593,9 @@ Some attributes are understood by the type-checker: the same effect as the "-w" command-line option, in the scope between the attribute and the end of the current signature/structure/object/object type. The attribute can also be - used on an expression, - in which case its scope is limited to that expression. + attached to any kind of syntactic item which support attributes + (such as an expression, or a type expression) + 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. For instance, warnings triggered by the ``ppwarning'' attribute (see below) |