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
#2148 solves a regression problem, but it looks like the problem might come from a design issue:
VSCode sends DocumentURI that are not obtained through DocumentURI.FromFileSystemPath() but through DocumentURI.Parse() when the code is not stored in a file. However, in our conversion from URI to tokens, we use only the FileSystemPath version.
The language server used to have always relied on files only, so what happened?
See the conversation of #2148 for some pointers.
The text was updated successfully, but these errors were encountered:
#2148 solves a regression problem, but it looks like the problem might come from a design issue:
VSCode sends
DocumentURI
that are not obtained throughDocumentURI.FromFileSystemPath()
but throughDocumentURI.Parse()
when the code is not stored in a file. However, in our conversion from URI to tokens, we use only theFileSystemPath
version.The language server used to have always relied on files only, so what happened?
See the conversation of #2148 for some pointers.
The text was updated successfully, but these errors were encountered: