lsp-dart-line-length stopped working on flutter 2.5

[sysint64]

Describe the bug
lsp-dart-line-length stopped working on flutter 2.5. On version 2.2 it works fine.

To Reproduce
Install flutter 2.5 and set the line length to 100 symbols;

(setq lsp-dart-line-length 100)

format buffer with lsp-format-buffer

[ericdallo]

I'll take a look at this, probably something related with dart sdk bump

[ericdallo]

yeah, I confirmed the issue happens on dart 2.14.0 but not on dart 2.13.1.
@DanTup do you know if there was introduced on dart-sdk any regression or new variable to control the line length during formatting? I checked Dart-Code but I didn't see any changes about that

[ericdallo]

This is how lsp-dart is sending the workspace/configuration response after changing the default from 80 -> 100:

[Trace - 10:24:29 AM] Sending response 'workspace/configuration - (1)'. Processing request took 0ms
Params: {
  "jsonrpc": "2.0",
  "id": 1,
  "result": [
    {
      "dart": {
        "enableSdkFormatter": true,
        "completeFunctionCalls": true,
        "showTodos": null,
        "lineLength": 100
      }
    }
  ]
}

[DanTup]

There was a change recently to support per-workspace config. Are you able to capture the traffic (or use --instrumentation-log) for a session where this doesn't work for me to check?

It should be falling back to the original workspace-level config when there's no folder config, but I wonder if something is going wrong.

[DanTup]

@ericdallo do you have the request that the server sent to you that this responds to?

[ericdallo]

sure, the server request was:

[Trace - 10:24:29 AM] Received request 'workspace/configuration - (1).
Params: {
  "items": [
    {
      "section": "dart"
    }
  ]
}

[DanTup]

@ericdallo the "dart" in your response looks suspect. When I log from VS Code, I see a request from the server like this:

{
	"id": 1,
	"method": "workspace/configuration",
	"params": {
		"items": [
			{
				"section": "dart"
			}
		]
	},
	"jsonrpc": "2.0"
}

And VS Code responds like this (note there's no "dart" anywhere):

{
	"jsonrpc": "2.0",
	"id": 1,
	"result": [
		{
			"lineLength": 160,
			// ...
		}
	]
}

Although the LSP spec doesn't seem to be very clear about this.

[ericdallo]

@yyoncho can you help understand what is the probably expected behavior?
Even so, the best would be to fix on lsp-dart/lsp-mode somehow otherwise we would need to wait for another dart-sdk update + flutter update which may take some time

[DanTup]

I don't think the spec is very clear, but there is some discussion in microsoft/language-server-protocol#972 which I think matches the Dart/VS Code stuff above - that is if a server asks for "dart" configuration, the returned object is already scoped to "dart" and should not have all the values wrapped inside another "dart".

If it seems like there are many editors/servers doing the opposite, we should probably ping on microsoft/language-server-protocol#972 and see if we can get concrete clarification (and if that means changing the server and/or VS Code LSP client, I'm happy to do that).

[ericdallo]

thank you @DanTup, that makes sense to me indeed.
@yyoncho do you think we can change the lsp-mode response unwrapping the returned item? I don't know any other server that uses workspace/configuration so I'm not sure if a lot of servers would be affected though

[yyoncho]

@ericdallo makes sense

[ericdallo]

I'm not sure why, but testing now, I can't get lsp-mode to return the configuration wrapped by a dart map, testing with both dart SDK version (stable and dev), I'm getting the same response as vscode, but the dev one still is not working.

with dart SDK 2.13.1

[Trace - 12:20:07 PM] Received request 'workspace/configuration - (1).
Params: {
  "items": [
    {
      "section": "dart"
    }
  ]
}


[Trace - 12:20:07 PM] Sending response 'workspace/configuration - (1)'. Processing request took 0ms
Params: {
  "jsonrpc": "2.0",
  "id": 1,
  "result": [
    {
      "enableSdkFormatter": true,
      "completeFunctionCalls": true,
      "showTodos": null,
      "lineLength": 120
    }
  ]
}

with dart SDK 2.15.0

[Trace - 12:26:48 PM] Received request 'workspace/configuration - (1).
Params: {
  "items": [
    {
      "scopeUri": "file:///home/greg/dev/flutter_sample",
      "section": "dart"
    },
    {
      "section": "dart"
    }
  ]
}


[Trace - 12:26:48 PM] Sending response 'workspace/configuration - (1)'. Processing request took 0ms
Params: {
  "jsonrpc": "2.0",
  "id": 1,
  "result": [
    {
      "enableSdkFormatter": true,
      "completeFunctionCalls": true,
      "showTodos": null,
      "lineLength": 120
    }
  ]
}

It seems to me that the client is returning correctly, any thoughts @yyoncho ?

[yyoncho]

We do unwrap and return the result by position (as you can see it is returning a vector).

[ericdallo]

So can we say it's something that changed on the newest dart SDK @DanTup ?