Lots of rewrites to further move toward new world order
[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       "severity": {
18         "5": "disabled"
19       }
20     }
21   }
22 }