workspace/configuration sends out-of-spec message

[non-Jedi]

Per discussion in #374, the language server sends:

[ Info: SENT: {"method":"workspace/configuration","id":-100,"params":{"items":[{"scopeUri":null,"section":"julia.format.indent"},{"scopeUri":null,"section":"julia.format.indents"},{"scopeUri":null,"section":"julia.format.ops"},{"scopeUri":null,"section":"julia.format.tuples"},{"scopeUri":null,"section":"julia.format.curly"},{"scopeUri":null,"section":"julia.format.calls"},{"scopeUri":null,"section":"julia.format.iterOps"},{"scopeUri":null,"section":"julia.format.comments"},{"scopeUri":null,"section":"julia.format.docs"},{"scopeUri":null,"section":"julia.format.lineends"}]},"jsonrpc":"2.0"}

and the scopeUri field cannot be null.

[davidanthoff]

So I took another look at

LanguageServer.jl/src/protocol/protocol.jl

Line 20 in de2bd4c

macro json_read(arg)

, and the more I stare at that, it probably only solves the problem when we read a JSON string into a Julia structure, but not when we serialize a Julia structure into a JSON string...

I just pushed another commit to https://github.com/julia-vscode/LanguageServer.jl/pull/416/files that hopefully also fixes the write story. Could you try that branch again?

[davidanthoff]

@non-Jedi did you have a chance to test whether #416 fixes this for you?

[non-Jedi]

I haven't yet. Will get to in next few days.