Closed
Description
VS code doesn't allow to setup number options due to a "Invalid type. Expected string"
"haskell.plugin.tactics.config.hole_severity": {
"enumDescriptions": [
"error",
"warning",
"info",
"hint",
"none"
],
"scope": "resource",
"description": "The severity to use when showing hole diagnostics.",
"enum": [
1,
2,
3,
4,
null
],
"default": null,
"type": "string"
},
^ 1
,2
, 3
, 4
are integers, but "validation" requires string.
- Op 1. It should use
integer
(btw, instead ofnull
it could use0
) - Op 2. It should use
"1"
,"2"
,"3"
,"4"