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
Extremely annoyingly, some methods are dynamically registered under a different method. Notably the semantic tokens methods are registered under textDocument/semanticTokens, which is not actually a method that is defined.
This information is in the metamodel ("registrationMethod") so we can do something with it. Probably we need to add a method like the custom method for each of them, and then have another type family that maps methods to their registration methods, which will be the identity in most cases but not all.
The text was updated successfully, but these errors were encountered:
Extremely annoyingly, some methods are dynamically registered under a different method. Notably the semantic tokens methods are registered under
textDocument/semanticTokens
, which is not actually a method that is defined.This information is in the metamodel ("registrationMethod") so we can do something with it. Probably we need to add a method like the custom method for each of them, and then have another type family that maps methods to their registration methods, which will be the identity in most cases but not all.
The text was updated successfully, but these errors were encountered: