Switch to const as requested

coq · Feb 10, 2023 · faf3152 · faf3152
1 parent 5fc3386
commit faf3152
Showing 1 changed file with 8 additions and 9 deletions.
diff --git a/server/src/coqtop/CoqTop8.ts b/server/src/coqtop/CoqTop8.ts
@@ -250,17 +250,16 @@ export class CoqTop extends IdeSlave8 implements coqtop.CoqTop {
         ...this.settings.args
         ];
     }
-    if (this.settings.useDune) {
-      var binary = this.settings.dunePath
-      if (scriptPath === undefined)
-        throw new CoqtopSpawnError("", "File was not saved to local file system");
-      var args = ["coq", "top", "--toplevel=" + coqtopModule,
-        scriptPath, "--", ...coqArgs];
-    } else {
-      var binary = coqtopModule
-      var args = coqArgs
+
+    if (this.settings.useDune && scriptPath === undefined) {
+      throw new CoqtopSpawnError("", "File was not saved to local file system");
     }
 
+    const [binary, args] = this.settings.useDune ?
+      [this.settings.dunePath, ["coq", "top", "--toplevel=" + coqtopModule,
+        scriptPath, "--", ...coqArgs]] :
+      [coqtopModule, coqArgs]
+
     this.console.log('exec: ' + binary + ' ' + args.join(' '));
     return spawn(binary, args, { detached: false, cwd: this.projectRoot });
   }