Split SynTyCon to SynonymTyCon and FamilyTyCon
[ghc.git] / .arclint
index f798015..1310973 100644 (file)
--- a/.arclint
+++ b/.arclint
       "type": "text",
       "include": ["(\\.(l?hs(-boot)?|x|y\\.pp)(\\.in)?$)"],
       "severity": {
-        "5": "disabled"
+        "5": "disabled",
+        "2": "warning"
       }
     },
     "c": {
       "type": "text",
-      "include": ["(\\.(c|h)(\\.in)?$)"]
+      "include": ["(\\.(c|h)(\\.in)?$)"],
+      "severity": {
+        "2": "warning"
+      }
     },
     "text-xml": {
       "type": "text",
       "include": "(\\.xml$)",
       "severity": {
         "5": "disabled",
-        "3": "disabled"
+        "3": "disabled",
+        "2": "warning"
       }
     },
     "shell": {
       "type": "text",
       "include": [ "(\\.sh$)" ],
-      "text.max-line-length": 200
+      "text.max-line-length": 200,
+      "severity": {
+        "2": "warning"
+      }
     },
     "makefiles": {
       "type": "text",