summaryrefslogtreecommitdiff
path: root/runtime/themes/github_dark_tritanopia.toml
diff options
context:
space:
mode:
authorMichael Davis2023-01-10 09:31:41 +0000
committerGitHub2023-01-10 09:31:41 +0000
commit22298434f10e203bc1adb8eebfdfbfbff05db977 (patch)
treeae94944949a012b41bed93ad10d5be55af66459b /runtime/themes/github_dark_tritanopia.toml
parent2d601d6a59dd46cccfcbda625387f21981e0a8a5 (diff)
jsonrpc: Skip serializing params if params are None (#5471)
The JSONRPC spec says: > If present, parameters for the rpc call MUST be provided as a > Structured value https://www.jsonrpc.org/specification#parameter_structures (Where a "Structured value" is elsewhere defined as either a map or array.) This change skips the serialization of the `params` field for JSONRPC method calls and notifications if the `params` field is the `None` variant. This fixes compatibility with LSP servers which adhere closely to that part of the spec: `ocamllsp` in the wild.
Diffstat (limited to 'runtime/themes/github_dark_tritanopia.toml')
0 files changed, 0 insertions, 0 deletions