You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
ERROR: type Missing has no field rename
Stacktrace:
[1] getproperty
@ ./Base.jl:42 [inlined]
[2] LanguageServer.ServerCapabilities(client::LanguageServer.ClientCapabilities)
@ LanguageServer ~/.julia/packages/LanguageServer/JrIEf/src/requests/init.jl:2
A similar issue was already present on ClientCapabilities.workspace which also is optional in protocol, but incorrectly treated as required by LanguageServer.jl:
I think that this could be fixed by changing !ismissing(client.textDocument.rename) to !ismissing(client.textDocument) && !ismissing(client.textDocument.rename) (and analogously for .workspace)
The text was updated successfully, but these errors were encountered:
ClientCapabilities
has an optional propertytextDocument
, but the latest version ofLanguageServer.jl
incorrectly assumes that it is always present:LanguageServer.jl/src/requests/init.jl
Lines 1 to 2 in dc87d72
leading to the following error:
This was introduced in 4.1 in 5380cbf
A similar issue was already present on
ClientCapabilities.workspace
which also is optional in protocol, but incorrectly treated as required byLanguageServer.jl
:LanguageServer.jl/src/requests/init.jl
Line 141 in dc87d72
I think that this could be fixed by changing
!ismissing(client.textDocument.rename)
to!ismissing(client.textDocument) && !ismissing(client.textDocument.rename)
(and analogously for.workspace
)The text was updated successfully, but these errors were encountered: