[ fix ] Include --setup to ALS WASM

Author: banacorn

lib/js/src/Connection/Connection.bs.js

@@ -435,7 +435,7 @@ module Module: Module = {
           | Connection__Download.DownloadOrderAbstract.DevWASMALS =>
             switch await Connection__Download.downloadFromURL(
               globalStorageUri,
-              "https://unpkg.com/[email protected].1/als/2.8.0/als.wasm",
+              "https://unpkg.com/[email protected].3-als.2.8.0/als/2.8.0/als.wasm",
               "dev-wasm-als",
               "Agda Language Server (WASM)",
             ) {

lib/js/src/Connection/Protocol/Connection__Protocol__LSP__Binding.bs.js

@@ -201,12 +201,39 @@ module ServerOptions = {
 
   let makeWithWASM: WASMLoader.t => t = %raw(`
       (wasmSetup) => {
-        const createTransport = () =>
-          wasmSetup.factory.createServer(
-            wasmSetup.memfsAgdaDataDir,
-            {},
-            { runSetupFirst: false },
-          );
+      const createTransport = () => {
+        const attemptWithSetup = () => wasmSetup.factory.createServer(
+          wasmSetup.memfsAgdaDataDir,
+          {},
+          {
+            runSetupFirst: true,
+            setupCallback(exitCode, stderr) {
+              if (exitCode === 0) {
+                console.log('[agda-mode] ALS WASM setup completed successfully.');
+              } else {
+                console.warn('[agda-mode] ALS WASM setup exited with code ' + exitCode + ': ' + stderr);
+              }
+            },
+          },
+        );
+
+        const attemptWithoutSetup = () => wasmSetup.factory.createServer(
+          wasmSetup.memfsAgdaDataDir,
+          {},
+          { runSetupFirst: false },
+        );
+
+        return Promise.resolve()
+          .then(attemptWithSetup)
+          .catch((error) => {
+            const message = error && (error.message || String(error));
+            if (typeof message === 'string' && message.includes('--setup')) {
+              console.warn('[agda-mode] ALS WASM binary does not support --setup; retrying without setup.');
+              return attemptWithoutSetup();
+            }
+            throw error;
+          });
+      };
 
         Object.defineProperty(createTransport, "__agdaModeWasm", {
           value: true,