Fix hole_severity option: Use integer instead of string

mirko-plowtech · mirko-plowtech · commit fb5f0ee74306 · 2021-11-30T17:20:04.000-03:00
diff --git a/package.json b/package.json
@@ -275,7 +275,7 @@
             null
           ],
           "default": null,
-          "type": "string"
+          "type": "integer"
         },
         "haskell.plugin.tactics.config.max_use_ctor_actions": {
           "title": "Max number of constructors",
