[ fix ] Ensure WASM ALS config replies include commandLineOptions

Author: banacorn

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

@@ -158,6 +158,8 @@ module Module: Module = {
       )
     }
 
+    clientOptions->Binding.LanguageClientOptions.setConfigurationMiddleware
+
     // Create the language client
     let languageClient = Binding.LanguageClient.make(id, name, serverOptions, clientOptions)
 

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

@@ -127,6 +127,44 @@ module LanguageClientOptions = {
         uriConverters: uriConverters
       }
     }")
+
+  let setConfigurationMiddleware: t => unit = %raw("function (options) {
+      if (!options || typeof options !== 'object') {
+        return;
+      }
+
+      const safeArray = (value) => Array.isArray(value) ? value.filter((item) => typeof item === 'string') : [];
+
+      const readCommandLineOptions = () => {
+        try {
+          const vscode = require('vscode');
+          const config = vscode.workspace.getConfiguration('agdaMode');
+          const raw = config.get('connection.commandLineOptions');
+          if (typeof raw === 'string') {
+            return raw.trim().length === 0 ? [] : raw.trim().split(/\s+/);
+          }
+          if (Array.isArray(raw)) {
+            return safeArray(raw);
+          }
+        } catch (_) {
+          // ignore and fall back to empty array
+        }
+        return [];
+      };
+
+      const createPayload = () => ({ commandLineOptions: readCommandLineOptions() });
+
+      options.middleware = options.middleware || {};
+      options.middleware.workspace = options.middleware.workspace || {};
+      options.middleware.workspace.configuration = (params) => {
+        const count = params && Array.isArray(params.items) ? params.items.length : 1;
+        const results = [];
+        for (let i = 0; i < count; i += 1) {
+          results.push(createPayload());
+        }
+        return Promise.resolve(results);
+      };
+    }")
 }
 
 type executableOptions = {