fix: fix lspManager for prior versions of coq (8.18, 8.19, 8.20) and …

…test
coq · Nov 19, 2024 · 9e78309 · 9e78309
1 parent 8eb8c57
commit 9e78309
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 1 deletion.
diff --git a/client/src/test/suite/extension.test.ts b/client/src/test/suite/extension.test.ts
@@ -12,6 +12,7 @@ suite('Should get diagnostics', function () {
 
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
         const doc = await common.openTextFile('basic.v');
 
@@ -34,6 +35,7 @@ suite('Should get diagnostics', function () {
 
 		const ext = vscode.extensions.getExtension('maximedenes.vscoq')!;
 		await ext.activate();
+		vscode.workspace.getConfiguration().update('vscoq.proof.mode','Continuous');
 
         const doc1 = await common.openTextFile('basic.v');
 		const doc2 = await common.openTextFile('warn.v');

diff --git a/language-server/vscoqtop/lspManager.ml b/language-server/vscoqtop/lspManager.ml
@@ -282,7 +282,12 @@ let open_new_document uri text =
       let project = CoqProject_file.read_project_file ~warning_fn:(fun _ -> ()) f in
       let args = CoqProject_file.coqtop_args_from_project project in
       log (Printf.sprintf "Arguments from project file %s: %s" f (String.concat " " args));
-      fst @@ Coqargs.parse_args ~init:Coqargs.default args
+      let usage = {
+        Boot.Usage.executable_name = "";
+        extra_args = "";
+        extra_options = "";
+      } in
+      fst @@ Coqargs.parse_args ~init:Coqargs.default ~usage args
   in
 
   let vst = init_document local_args vst in