diff options
author | Austin Seipp <austin@well-typed.com> | 2014-10-20 20:07:01 -0500 |
---|---|---|
committer | Mateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk> | 2014-12-12 06:45:01 +0000 |
commit | 53ba3a8dd8407a816faa709fa3da4dc85a18e530 (patch) | |
tree | b0f1f8ed38b450b4df5463a66012f6bc40079a07 | |
parent | 9110762aff9464e5436bd9855853bb5cfe15fa87 (diff) |
Add .arclint file.
Signed-off-by: Austin Seipp <austin@well-typed.com>
-rw-r--r-- | .arclint | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/.arclint b/.arclint new file mode 100644 index 00000000..01f217d7 --- /dev/null +++ b/.arclint @@ -0,0 +1,24 @@ +{ + "linters": { + "filename": { + "type": "filename" + }, + "generated": { + "type": "generated" + }, + "merge-conflict": { + "type": "merge-conflict" + }, + "nolint": { + "type": "nolint" + }, + "haskell": { + "type": "text", + "include": ["(\\.(l?hs(-boot)?|x|y\\.pp)(\\.in)?$)"], + "severity": { + "5": "disabled", + "2": "warning" + } + } + } +} |