[ fix ] Timeout on Auto on Windows

Author: banacorn

lib/js/src/Main/Main.bs.js

@@ -213,7 +213,7 @@ let activateWithoutContext = (
     log: Chan.make(),
   }
   // subscribe to the logging channel when in debug mode
-  let debug = false
+  let debug = true
   if debug {
     // log the event
     channels.log

lib/js/test/tests/Test__Auto.bs.js

@@ -3,26 +3,41 @@ open Test__Util
 
 let run = normalization => {
   Async.it("should be responded with correct responses 1", async () => {
+    Js.Console.log("Test__Auto: Starting makeAndLoad")
     let ctx = await AgdaMode.makeAndLoad("Auto.agda")
+    Js.Console.log("Test__Auto: makeAndLoad completed")
+    switch ctx.state.agdaVersion {
+    | Some(version) => Js.Console.log2("Test__Auto: Agda version:", version)
+    | None => Js.Console.log("Test__Auto: No Agda version found")
+    }
 
+    Js.Console.log("Test__Auto: Looking for goal at index 0")
     let responses = switch Goals.getGoalByIndex(ctx.state.goals, 0) {
     | Some(goal) =>
+      Js.Console.log("Test__Auto: Found goal, sending Auto request")
       await ctx.state->State__Connection.sendRequestAndCollectResponses(
         Request.Auto(normalization, goal),
       )
-    | None => []
+    | None => 
+      Js.Console.log("Test__Auto: No goal found at index 0")
+      []
     }
+    Js.Console.log("Test__Auto: Auto request completed")
 
     let filteredResponses = responses->Array.filter(filteredResponse)
+    Js.Console.log2("Test__Auto: Filtered response count:", Array.length(filteredResponses))
 
     switch ctx.state.agdaVersion {
     | Some(version) =>
+      Js.Console.log2("Test__Auto: Checking version >= 2.7.0 for version:", version)
       if Util.Version.gte(version, "2.7.0") {
+        Js.Console.log("Test__Auto: Using >= 2.7.0 assertion")
         Assert.deepStrictEqual(
           filteredResponses,
           [GiveAction(0, GiveString("n")), InteractionPoints([1])],
         )
       } else {
+        Js.Console.log("Test__Auto: Using < 2.7.0 assertion")
         Assert.deepStrictEqual(
           filteredResponses,
           [
@@ -34,6 +49,7 @@ let run = normalization => {
       }
     | None => Assert.fail("No Agda version found")
     }
+    Js.Console.log("Test__Auto: Assertion completed successfully")
   })
 
   Async.it("should be responded with correct responses 2", async () => {
@@ -71,7 +87,7 @@ let run = normalization => {
   })
 }
 
-describe("agda-mode.auto", () => {
+describe_only("agda-mode.auto", () => {
   This.timeout(4000)
 
   describe("AsIs", () => {

lib/js/test/tests/Test__Util.bs.js

@@ -391,36 +391,66 @@ module AgdaMode = {
   }
 
   let makeAndLoad = async filepath => {
+    Js.Console.log2("Test__Util: makeAndLoad starting with filepath:", filepath)
     let rawFilepath =
       VSCode.Uri.joinPath(Path.extensionUri, ["test/tests/assets", filepath])->VSCode.Uri.fsPath
+    Js.Console.log2("Test__Util: rawFilepath resolved to:", rawFilepath)
+    
     // set name for searching Agda
+    Js.Console.log("Test__Util: Setting Agda version to 'agda'")
     await Config.Connection.setAgdaVersion("agda")
+    Js.Console.log("Test__Util: Agda version set successfully")
+    
     // make sure that "agda" exists in PATH
+    Js.Console.log("Test__Util: Checking if 'agda' command exists")
     await commandExists("agda")
+    Js.Console.log("Test__Util: 'agda' command exists, proceeding")
+    
     //
     let load = async (channels: State.channels, filepath) => {
+      Js.Console.log2("Test__Util: load function starting with filepath:", filepath)
       let (promise, resolve, _) = Util.Promise_.pending()
+      Js.Console.log("Test__Util: Created pending promise")
 
       let disposable = channels.commandHandled->Chan.on(command => {
+        Js.Console.log2("Test__Util: Received command:", command)
         if command == Command.Load {
+          Js.Console.log("Test__Util: Command matches Load, resolving promise")
           resolve()
+        } else {
+          Js.Console.log("Test__Util: Command does not match Load")
         }
       })
+      Js.Console.log("Test__Util: Set up commandHandled listener")
+      
+      Js.Console.log("Test__Util: Opening file...")
       let _ = await File.open_(filepath) // need to open the file first somehow
+      Js.Console.log("Test__Util: File opened successfully")
+      
+      Js.Console.log("Test__Util: Executing 'agda-mode.load' command...")
       switch await executeCommand("agda-mode.load") {
-      | None => raise(Failure("Cannot load " ++ filepath))
+      | None => 
+        Js.Console.log("Test__Util: executeCommand returned None")
+        raise(Failure("Cannot load " ++ filepath))
       | Some(Ok(state)) =>
+        Js.Console.log("Test__Util: executeCommand returned Ok, waiting for promise...")
         await promise
+        Js.Console.log("Test__Util: Promise resolved, cleaning up...")
         disposable() // stop listening to responses
+        Js.Console.log("Test__Util: load function completed successfully")
         state
       | Some(Error(error)) =>
+        Js.Console.log("Test__Util: executeCommand returned Error")
         let (header, body) = Connection.Error.toString(error)
         raise(Failure(header ++ "\n" ++ body))
       }
     }
 
+    Js.Console.log("Test__Util: Activating extension...")
     let channels = activateExtension()
+    Js.Console.log("Test__Util: Extension activated, calling load function...")
     let state = await load(channels, rawFilepath)
+    Js.Console.log("Test__Util: load function returned, continuing with makeAndLoad...")
 
     state.channels.log->Chan.emit(AgdaModeOperation("makeAndLoad", rawFilepath))