Sending workspace/configuration request while handling Initilized

[July541]

We can rely on workspace/configuration to keep track of the configuration after we resolve the following problems.

• How to upgrade the config in the Initialized handler, seems we can't modify the IdeState in place.
• We have dozens of configurations, do these config field names all available for different clients like vscode and emacs?
• How to test this pr? Ideally I think we can add a test in vscode-haskell.

I'll try to investigate these questions, and also very welcome any suggestions or guidance in case I have to browse through lsp protocol and some of their implementations :)

[michaelpj]

We should have handling for this in the part of ServerDefinition that deals with didChangeConfiguration today. So we should just be able to port that over to here. I do think that lsp should handle this generically, but if we can patch this in here that's a good short term fix!

[wz1000]

you probably want to block waiting for the response to SMethod_WorkspaceConfiguration here?

[michaelpj]

I think we don't need to. We have a default config, so we should always be able to operate and just update the config dynamically when we get the response, as we would if we got didChangeConfiguration.

[michaelpj]

I've made a decent amount of progress on this. I have it fixed generically in lsp, I'm just making lsp-test handle it properly, and I think I've also got HLS working on top of that. I'm going away for the weekend but I think I should be able to finish it off early next week.

[July541]

@michaelpj I have some hours available this Sunday, so I'll continue your work if you don't have enough time.