Private axiom comment in Backpack
[ghc.git] / .arclint
1 {
2   "linters": {
3     "filename": {
4       "type": "filename"
5     },
6     "generated": {
7       "type": "generated"
8     },
9     "merge-conflict": {
10       "type": "merge-conflict"
11     },
12     "nolint": {
13       "type": "nolint"
14     },
15     "text": {
16       "type": "text",
17       "exclude": [ "(\\.xml$)" ],
18       "severity": {
19         "5": "disabled"
20       }
21     },
22     "text-xml": {
23       "type": "text",
24       "include": "(\\.xml$)",
25       "severity": {
26         "5": "disabled",
27         "3": "disabled"
28       }
29     }
30   }
31 }