Recently (??) Vscode extension is unable to reach the Lambdapi server because the Agrs argument in the package.json file seems to be ignored by Vscode. In particular, upon lambdapi extension installation on Vscode, clicking the manage button of the extension
Then setting -> Edit in settings.json under Lambdapi: Args show null for the field lambdapi.args
Then opening a lambdapi file in vscode results in the error : lambdapi language server client: couldn't create connection to server. with following log in the outpout tab
[Error - 3:39:06 PM] lambdapi language server client: couldn't create connection to server. TypeError: Cannot read properties of null (reading 'slice') at /home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/node/main.js:407:66 at async LanguageClient.createConnection (/home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/common/client.js:1144:28) at async LanguageClient.start (/home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/common/client.js:681:32)
replacing null with ["lsp"] temporarly fixes the problem
Recently (??) Vscode extension is unable to reach the Lambdapi server because the Agrs argument in the package.json file seems to be ignored by Vscode. In particular, upon lambdapi extension installation on Vscode, clicking the manage button of the extension
Then
setting -> Edit in settings.jsonunderLambdapi: Argsshownullfor the fieldlambdapi.argsThen opening a lambdapi file in vscode results in the error :
lambdapi language server client: couldn't create connection to server.with following log in the outpout tab[Error - 3:39:06 PM] lambdapi language server client: couldn't create connection to server. TypeError: Cannot read properties of null (reading 'slice') at /home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/node/main.js:407:66 at async LanguageClient.createConnection (/home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/common/client.js:1144:28) at async LanguageClient.start (/home/abdelghani/.vscode/extensions/deducteam.lambdapi-0.2.4/node_modules/vscode-languageclient/lib/common/client.js:681:32)replacing null with
["lsp"]temporarly fixes the problem