diff options
author | Austin Seipp <austin@well-typed.com> | 2014-10-20 20:07:01 -0500 |
---|---|---|
committer | Austin Seipp <austin@well-typed.com> | 2014-10-20 20:07:01 -0500 |
commit | c3f27a96bd2a1ec14f441c72a2df95c16c2c5408 (patch) | |
tree | 17162b965b0490af6af8cf80cfc5848e7ab8c0c3 | |
parent | c72175b89bfe2759b7f8d5519fda25ed8bfd27a5 (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" + } + } + } +} |