aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAustin Seipp <austin@well-typed.com>2014-10-20 20:07:01 -0500
committerAustin Seipp <austin@well-typed.com>2014-10-20 20:07:01 -0500
commitc3f27a96bd2a1ec14f441c72a2df95c16c2c5408 (patch)
tree17162b965b0490af6af8cf80cfc5848e7ab8c0c3
parentc72175b89bfe2759b7f8d5519fda25ed8bfd27a5 (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"
+ }
+ }
+ }
+}