aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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"
+ }
+ }
+ }
+}