Remove DiagnosticReason

Author: benbellick

proposals/0000-specify-dump-json.md

@@ -119,10 +119,7 @@ For demonstrative purposes, here is an example valid instance of the schema.
       },
       "severity": "Error",
       "code": 27958,
-      "message": "    • Couldn't match type ‘b0’ with ‘(Bool, b0)’ \n Expected: b0 -> Maybe (Bool, b0) \nActual: b0 -> Maybe b0 \n• In the first argument of ‘unfoldr’, namely ‘Just’ \nIn the expression: unfoldr Just \nIn an equation for ‘f’: f = unfoldr Just",
-      "warnReason": {
-        "reason": "ErrorWithoutFlag"
-      }
+      "message": "    • Couldn't match type ‘b0’ with ‘(Bool, b0)’ \n Expected: b0 -> Maybe (Bool, b0) \nActual: b0 -> Maybe b0 \n• In the first argument of ‘unfoldr’, namely ‘Just’ \nIn the expression: unfoldr Just \nIn an equation for ‘f’: f = unfoldr Just"
     }
   ]
 }

proposals/0000-specify-dump-json/schema.json

@@ -38,36 +38,14 @@
           "message": {
             "description": "The string output of the diagnostic message by GHC",
             "type": "string"
-          },
-          "warnReason": {
-            "description": "The flag, if it exists, which caused the warning",
-            "type": "object",
-            "properties": {
-              "reason": {
-                "description": "The reason why a diagnostic was emitted in the first place (e.g., flag, category)",
-                "type": "string",
-                "enum": [
-                  "WarningWithoutFlag",
-                  "WarningWithFlag",
-                  "WarningWithCategory",
-                  "ErrorWithoutFlag"
-                ]
-              },
-              "flagOrCategory": {
-                "desciption": "The flag or category which caused the warning",
-                "type": "string",
-              }
-            },
-            "required": [
-              "reason"
-            ]
           }
         },
         "required": [
           "span",
           "severity",
           "message"
-        ]
+        ],
+        "additionalProperties": false
       }
     }
   },
@@ -78,7 +56,7 @@
   "additionalProperties": false,
   "$defs": {
     "span": {
-      "description": "The location of the diganostic",
+      "description": "The location of the diagnostic",
       "type": "object",
       "properties": {
         "file": {