1Builtin_attributes(3)            OCaml library           Builtin_attributes(3)
2
3
4

NAME

6       Builtin_attributes - no description
7

Module

9       Module   Builtin_attributes
10

Documentation

12       Module Builtin_attributes
13        : sig end
14
15
16
17
18
19
20
21
22       val  check_deprecated : Location.t -> Parsetree.attributes -> string ->
23       unit
24
25
26
27
28       val check_deprecated_inclusion : def:Location.t  ->  use:Location.t  ->
29       Location.t -> Parsetree.attributes -> Parsetree.attributes -> string ->
30       unit
31
32
33
34
35       val deprecated_of_attrs : Parsetree.attributes -> string option
36
37
38
39
40       val deprecated_of_sig : Parsetree.signature -> string option
41
42
43
44
45       val deprecated_of_str : Parsetree.structure -> string option
46
47
48
49
50       val check_deprecated_mutable : Location.t  ->  Parsetree.attributes  ->
51       string -> unit
52
53
54
55
56       val  check_deprecated_mutable_inclusion  :  def:Location.t -> use:Loca‐
57       tion.t -> Location.t -> Parsetree.attributes -> Parsetree.attributes ->
58       string -> unit
59
60
61
62
63       val error_of_extension : Parsetree.extension -> Location.error
64
65
66
67
68       val warning_attribute : ?ppwarning:bool -> Parsetree.attribute -> unit
69
70       Apply  warning  settings  from  the  specified attribute.  "ocaml.warn‐
71       ing"/"ocaml.warnerror" (and variants without the prefix) are  processed
72       and other attributes are ignored.
73
74       Also implement ocaml.ppwarning (unless ~ppwarning:false is passed).
75
76
77
78       val warning_scope : ?ppwarning:bool -> Parsetree.attributes -> (unit ->
79       'a) -> 'a
80
81       Execute a function in a new scope for  warning  settings.   This  means
82       that  the  effect of any call to warning_attribute during the execution
83       of this function will be discarded after execution.
84
85       The function also takes a list of attributes which are  processed  with
86       warning_attribute in the fresh scope before the function is executed.
87
88
89
90       val warn_on_literal_pattern : Parsetree.attributes -> bool
91
92
93
94
95       val explicit_arity : Parsetree.attributes -> bool
96
97
98
99
100       val immediate : Parsetree.attributes -> bool
101
102
103
104
105       val has_unboxed : Parsetree.attributes -> bool
106
107
108
109
110       val has_boxed : Parsetree.attributes -> bool
111
112
113
114
115
116
117OCamldoc                          2019-02-02             Builtin_attributes(3)