[x] Add semantic tokens request for full documents
[x] Implement HasSemanticTokens for syntax tree nodes containing Idents
[ ] Implement HasSemanticTokens for syntax tree nodes containing QualIdents (see HasQualIdentifiers for examples)
[ ] Fix responsiveness issues: Currently, the AST in the index store may become out-of-sync with what the user types. Fully responsive semantic tokens may require us to implement something similar to #16 where a (possibly broken) AST is parsed in real-time.
Future work:
Implement delta semantic tokens (investigate how much the lsp abstracts away for us there)
Fixes #39
Provide semantic highlighting in Curry documents.
To do:
HasSemanticTokens
for syntax tree nodes containingIdent
sHasSemanticTokens
for syntax tree nodes containingQualIdent
s (seeHasQualIdentifiers
for examples)Future work:
lsp
abstracts away for us there)