[ test ] Trying to figure out what happened on Windows

Author: banacorn

.github/workflows/test.yml

@@ -21,8 +21,10 @@ jobs:
     runs-on: ${{ matrix.os }} 
     strategy:
       matrix:
-        os: [windows-latest, ubuntu-latest, macos-latest]
-        agda: ["Agda-2.6.3", "Agda-2.6.4", "Agda-2.7.0"]
+        # os: [windows-latest, ubuntu-latest, macos-latest]
+        os: [windows-latest]
+        # agda: ["Agda-2.6.3", "Agda-2.6.4", "Agda-2.7.0"]
+        agda: ["Agda-2.7.0"]
       fail-fast: false
 
     # Steps represent a sequence of tasks that will be executed as part of the job

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

@@ -322,6 +322,7 @@ module Module: Module = {
   }
 
   let sendRequest = async (connection, document, request, handler) => {
+    Js.log("[ LOG ] Sending request: " ++ Request.toString(request))
     // encode the Request to some string
     let encodeRequest = (document, version) => {
       let filepath = document->VSCode.TextDocument.fileName->Parser.filepath

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

@@ -36,61 +36,61 @@ let run = normalization => {
     }
   })
 
-  Async.it("should be responded with correct responses 2", async () => {
-    let ctx = await AgdaMode.makeAndLoad("Auto.agda")
+  // Async.it("should be responded with correct responses 2", async () => {
+  //   let ctx = await AgdaMode.makeAndLoad("Auto.agda")
 
-    let responses = switch Goals.getGoalByIndex(ctx.state.goals, 1) {
-    | Some(goal) =>
-      await ctx.state->State__Connection.sendRequestAndCollectResponses(
-        Request.Auto(normalization, goal),
-      )
-    | None => []
-    }
+  //   let responses = switch Goals.getGoalByIndex(ctx.state.goals, 1) {
+  //   | Some(goal) =>
+  //     await ctx.state->State__Connection.sendRequestAndCollectResponses(
+  //       Request.Auto(normalization, goal),
+  //     )
+  //   | None => []
+  //   }
 
-    let filteredResponses = responses->Array.filter(filteredResponse)
+  //   let filteredResponses = responses->Array.filter(filteredResponse)
 
-    switch ctx.state.agdaVersion {
-    | Some(version) =>
-      if Util.Version.gte(version, "2.7.0") {
-        Assert.deepStrictEqual(
-          filteredResponses,
-          [GiveAction(1, GiveString("n")), InteractionPoints([0])],
-        )
-      } else {
-        Assert.deepStrictEqual(
-          filteredResponses,
-          [
-            GiveAction(1, GiveString("m")),
-            DisplayInfo(AllGoalsWarnings("*All Goals*", "?0 : ℕ\n")),
-            InteractionPoints([0]),
-          ],
-        )
-      }
-    | None => Assert.fail("No Agda version found")
-    }
-  })
+  //   switch ctx.state.agdaVersion {
+  //   | Some(version) =>
+  //     if Util.Version.gte(version, "2.7.0") {
+  //       Assert.deepStrictEqual(
+  //         filteredResponses,
+  //         [GiveAction(1, GiveString("n")), InteractionPoints([0])],
+  //       )
+  //     } else {
+  //       Assert.deepStrictEqual(
+  //         filteredResponses,
+  //         [
+  //           GiveAction(1, GiveString("m")),
+  //           DisplayInfo(AllGoalsWarnings("*All Goals*", "?0 : ℕ\n")),
+  //           InteractionPoints([0]),
+  //         ],
+  //       )
+  //     }
+  //   | None => Assert.fail("No Agda version found")
+  //   }
+  // })
 }
 
 describe("agda-mode.auto", () => {
   This.timeout(4000)
 
-  // testing for Auto somehow hangs on GitHub Actions Windows runners (but works fine on my desktop Windows :))
-  // cannot find out why, so skip the tests on Windows for now
-  if OS.onUnix {
-    describe("AsIs", () => {
+  // // testing for Auto somehow hangs on GitHub Actions Windows runners (but works fine on my desktop Windows :))
+  // // cannot find out why, so skip the tests on Windows for now
+  // if OS.onUnix {
+    describe_only("AsIs", () => {
       run(AsIs)
     })
 
-    describe("Simplified", () => {
-      run(Simplified)
-    })
+    // describe("Simplified", () => {
+    //   run(Simplified)
+    // })
 
-    describe("Normalised", () => {
-      run(Normalised)
-    })
+    // describe("Normalised", () => {
+    //   run(Normalised)
+    // })
 
-    describe("HeadNormal", () => {
-      run(HeadNormal)
-    })
-  }
+    // describe("HeadNormal", () => {
+    //   run(HeadNormal)
+    // })
+  // }
 })

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

@@ -407,6 +407,7 @@ module AgdaMode = {
         }
       })
       let _ = await File.open_(filepath) // need to open the file first somehow
+      Js.log("[ LOG ] About ot load " ++ filepath)
       switch await executeCommand("agda-mode.load") {
       | None => raise(Failure("Cannot load " ++ filepath))
       | Some(Ok(state)) =>