The LSP provides two means of passing configuration data to the server:
As part of the Initialize Request (which is the very
first message sent to the server) the client can pass arbitrary data
in the initializationOptions field.
The protocol specifies
didChangeConfiguration messages to to
notify the server of changes changes to the configuration data.
This change uses the initializationOptions field to pass the initial
configuration and sets up the vscode lsp client to automatically
synchronise any changes via 2; this way we will be able to use
haskell-lsps InitializeCallbacks mechanism as
intended.
The LSP provides two means of passing configuration data to the server:
As part of the Initialize Request (which is the very first message sent to the server) the client can pass arbitrary data in the
initializationOptionsfield.The protocol specifies didChangeConfiguration messages to to notify the server of changes changes to the configuration data.
This change uses the
initializationOptionsfield to pass the initial configuration and sets up the vscode lsp client to automatically synchronise any changes via 2; this way we will be able to usehaskell-lsps InitializeCallbacks mechanism as intended.