1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
|
(*************************************)
(* Never edit options files while *)
(* the program is running *)
(*************************************)
(* SECTION : Header *)
(* These options must be read first *)
(*************************************)
(* [ignore]: Module to ignore during the lint. *)
ignore = [
]
(* [db_persistence]: Time before erasing cached results (in days). *)
db_persistence = 1
(* [jobs]: Number of parallel jobs *)
jobs = 4
plugin_typedtree = {
(* [enabled]: A plugin with linters on typed tree *)
enabled = true
fully_qualified_identifiers = {
(* [enabled]: Enable/Disable linter "Fully-Qualified Identifiers". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Fully-Qualified Identifiers" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Fully-Qualified Identifiers" *)
warnings = "+A-1"
ignored_modules = [
Pervasives;
StringCompat;
]
ignore_operators = true
ignore_depth = 2
}
polymorphic_function = {
(* [enabled]: Enable/Disable linter "Polymorphic function". *)
enabled = false
(* [ignore]: Module to ignore durint the lint of "Polymorphic function" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Polymorphic function" *)
warnings = "+A"
}
}
plugin_text = {
(* [enabled]: A plugin with linters on the source *)
enabled = true
code_length = {
(* [enabled]: Enable/Disable linter "Code Length". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Code Length" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Code Length" *)
warnings = "+A-1"
(* [max_line_length]: Maximum line length *)
max_line_length = 80
}
useless_space_line = {
(* [enabled]: Enable/Disable linter "Useless space character and empty line at the end of file.". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Useless space character and empty line at the end of file." *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Useless space character and empty line at the end of file." *)
warnings = "+A"
}
not_that_char = {
(* [enabled]: Enable/Disable linter "Detect use of unwanted chars in files". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Detect use of unwanted chars in files" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Detect use of unwanted chars in files" *)
warnings = "+A"
}
}
plugin_patch = {
(* [enabled]: Detect pattern with semantic patch. *)
enabled = true
sempatch_lint = {
(* [enabled]: Enable/Disable linter "Lint from semantic patches.". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Lint from semantic patches." *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Lint from semantic patches." *)
warnings = "+A-1"
}
}
plugin_parsing = {
(* [enabled]: Analyses requiring to re-parse the file *)
enabled = true
raw_syntax = {
(* [enabled]: Enable/Disable linter "Raw Syntax". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Raw Syntax" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Raw Syntax" *)
warnings = "+A-2-7-8"
}
}
plugin_parsetree = {
(* [enabled]: A plugin with linters on parsetree *)
enabled = true
code_identifier_length = {
(* [enabled]: Enable/Disable linter "Code Identifier Length". *)
enabled = false
(* [ignore]: Module to ignore durint the lint of "Code Identifier Length" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Code Identifier Length" *)
warnings = "+A"
(* [min_identifier_length]: Identifiers with a shorter name will trigger a warning *)
min_identifier_length = 2
(* [max_identifier_length]: Identifiers with a longer name will trigger a warning *)
max_identifier_length = 30
}
code_list_on_singleton = {
(* [enabled]: Enable/Disable linter "List function on singleton". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "List function on singleton" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "List function on singleton" *)
warnings = "+A"
}
phys_comp_allocated_lit = {
(* [enabled]: Enable/Disable linter "Physical comparison between allocated litterals.". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Physical comparison between allocated litterals." *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Physical comparison between allocated litterals." *)
warnings = "+A"
}
fabrice_good_practices = {
(* [enabled]: Enable/Disable linter "Good Practices". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Good Practices" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Good Practices" *)
warnings = "+A"
}
check_constr_args = {
(* [enabled]: Enable/Disable linter "Check Constructor Arguments". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Check Constructor Arguments" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Check Constructor Arguments" *)
warnings = "+A"
}
code_redefine_stdlib_module = {
(* [enabled]: Enable/Disable linter "Refedine Stdlib Module". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Refedine Stdlib Module" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Refedine Stdlib Module" *)
warnings = "+A-1-2"
}
}
plugin_indent = {
(* [enabled]: A plugin with linters on the source *)
enabled = true
ocp_indent = {
(* [enabled]: Enable/Disable linter "Indention with ocp-indent". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Indention with ocp-indent" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Indention with ocp-indent" *)
warnings = "+A-1"
}
}
plugin_file_system = {
(* [enabled]: A plugin with linters on file system like interface missing, etc *)
enabled = true
interface_missing = {
(* [enabled]: Enable/Disable linter "Missing interface". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Missing interface" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Missing interface" *)
warnings = "+A"
}
project_files = {
(* [enabled]: Enable/Disable linter "File Names". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "File Names" *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "File Names" *)
warnings = "+A"
}
}
plugin_complex = {
(* [enabled]: A plugin with linters on different inputs *)
enabled = true
interface_module_type_name = {
(* [enabled]: Enable/Disable linter "Checks on module type name.". *)
enabled = true
(* [ignore]: Module to ignore durint the lint of "Checks on module type name." *)
ignore = [
]
(* [warnings]: Enable/Disable warnings from "Checks on module type name." *)
warnings = "+A"
}
}
|
