mlir.server_path does not support "${workspaceFolder}/"

[gglin001]

settings.json

when set to

    "mlir.server_path": "${workspaceFolder}/build/bin/standalone-lsp-server",

will get a error

when set to absolute path, everything works

[xerpi]

This problem still persists.

[GaoMengICT]

这是为什么？这么久了问题还在？

[i-ky]

when set to

    "mlir.server_path": "${workspaceFolder}/build/bin/standalone-lsp-server",

I think that support for ${workspaceFolder} is not needed. Documentation says that:

The path of the server may be absolute or relative within your workspace.

...for all three of mlir.server_path, mlir.pdll_server_path and mlir.tablegen_server_path. So you can just set

    "mlir.server_path": "build/bin/standalone-lsp-server",

...and it should work.

Actually, if you look at the implementation you will see that unless path is absolute it is treated as a glob. This allows you to provide just the name of your executable:

    "mlir.server_path": "standalone-lsp-server",

...and let extension find it in the workspace. This should work regardless of build directory path.

You can even abuse glob pattern syntax, although I guess there was no intent to support it and it may break at any point.

With that said, I think that supporting variable substitution would be very welcomed. For example, to have more control over which executable is used in case there may be multiple in the workspace (e.g. built in Debug/Release configuration). As a user of CMake Tools extension I would be happy to be able to specify something like:

    "mlir.server_path": "${command:cmake.buildDirectory}/${command:cmake.buildType}/standalone-lsp-server",