Closed joebobmiles closed 3 years ago
I have two hypotheses:
That VSCode sent the textDocument/documentHighlight
request before the textDocument/didOpen
request
That it did send the didOpen
, but there is some small difference in the case/etc of the file path that causes the two database entries in the langserver to not match.
Does VSCode let you see a log of its interaction with the server? (Perhaps in the same place you saw this error?) If so, you could add in between these two lines (https://github.com/jeapostrophe/racket-langserver/blob/master/methods.rkt#L26-L27) (eprintf "~s" msg)
and see what it says
This seems to be related to #12. I just installed Racket 8.0 and racket-langserver on Windows 10 for use with VSCode and the Magic Racket extension. The instant I opened an empty
.rkt
file, racket-langserver threw the following error:My best guess is that the key format
'file:///c:/...'
is causing the problem, specifically the third slash following 'file.'