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
Most of the querying from the language server client happens solely in terms of a source code location (e.g. Position, or Range). Currently, we're storing source-level spans, along with relevant information in a vector, which is obviously not ideal. Usage of a good data structure should provide better performance and scalability
The text was updated successfully, but these errors were encountered:
Most of the querying from the language server client happens solely in terms of a source code location (e.g.
Position
, orRange
). Currently, we're storing source-level spans, along with relevant information in a vector, which is obviously not ideal. Usage of a good data structure should provide better performance and scalabilityThe text was updated successfully, but these errors were encountered: