aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2014-10-20 20:07:01 -0500
committerMateusz Kowalczyk <fuuzetsu@fuuzetsu.co.uk>2014-12-12 06:45:01 +0000
commit53ba3a8dd8407a816faa709fa3da4dc85a18e530 (patch)
treeb0f1f8ed38b450b4df5463a66012f6bc40079a07
parent9110762aff9464e5436bd9855853bb5cfe15fa87 (diff)
Add .arclint file.
Signed-off-by: Austin Seipp <austin@well-typed.com>
-rw-r--r--.arclint24
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"
+ }
+ }
+ }
+}