Is your feature request related to a problem? Please describe.
I'm porting Alectryon to VSRocq. For caching to work properly, I need to know which version of Rocq vsrocqtop is running. Unfortunately, right now, the serverInfo that it returns doesn't include that:
"serverInfo": { "name": "vsrocq-language-server", "version": "2.3.4" }
Describe the Solution You'd Like
Would changing the version number to include Rocq's version number, e.g. 9.0.1+2.3.4, cause issues? Or is there a better way to get this info?
Describe Alternatives You've Considered
I suppose I could parse the result of -print-version (but then is there a command-line way to print the server version?). The VSRocq client already does this:
|
return new Promise((resolve, reject: (reason: string) => void) => { |
|
exec(cmd, {cwd: workspace.rootPath}, (error, stdout, stderr) => { |
|
if(error) { |
|
reject(stderr); |
|
} else { |
|
const versionRegexp = /\b\d\.\d+(\.\d|\+rc\d|\.dev|\+alpha|\+beta)\b/g; |
|
this._versionFullOutput = stdout; |
|
const matchArray = stdout.match(versionRegexp); |
|
if(matchArray) { |
|
this._rocqVersion = matchArray[0]; |
|
} |
|
resolve(); |
|
} |
|
}); |
|
}); |
Is your feature request related to a problem? Please describe.
I'm porting Alectryon to VSRocq. For caching to work properly, I need to know which version of Rocq vsrocqtop is running. Unfortunately, right now, the
serverInfothat it returns doesn't include that:Describe the Solution You'd Like
Would changing the version number to include Rocq's version number, e.g.
9.0.1+2.3.4, cause issues? Or is there a better way to get this info?Describe Alternatives You've Considered
I suppose I could parse the result of
-print-version(but then is there a command-line way to print the server version?). The VSRocq client already does this:vsrocq/client/src/utilities/toolchain.ts
Lines 144 to 158 in cf0e9c3