[ 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

@@ -109,11 +109,13 @@ module Module: Module = {
   }
 
   // see if it's a Agda executable or a language server
-  let probeFilepath = async path =>
+  let probeFilepath = async path => {
+    Js.log("[ LOG ][ Connection.probeFilepath ] Input path: " ++ path)
     switch URI.parse(path) {
     | Connection__URI.LspURI(_) => Error(Error.Probe.CannotHandleURLsAtTheMoment)
     | FileURI(_, vscodeUri) =>
-      let path = VSCode.Uri.fsPath(vscodeUri)
+      let fsPath = VSCode.Uri.fsPath(vscodeUri)
+      Js.log("[ LOG ][ Connection.probeFilepath ] VSCode.Uri.fsPath result: " ++ fsPath)
       let result = await Connection__Process__Exec.run(path, ["--version"], ~timeout=3000)
       switch result {
       | Ok(output) =>
@@ -136,11 +138,13 @@ module Module: Module = {
         }
       | Error(error) => Error(Error.Probe.CannotDetermineAgdaOrALS(error))
       }
-    }
+    }}
 
   let makeWithRawPath = async (rawpath: string): result<t, Error.Establish.t> => {
+    Js.log("[ LOG ][ Connection.makeWithRawPath ] Input rawpath: " ++ rawpath)
     switch await probeFilepath(rawpath) {
     | Ok(path, Ok(agdaVersion)) =>
+      Js.log("[ LOG ][ Connection.makeWithRawPath ] Passing to Agda.make: " ++ rawpath)
       let connection = await Agda.make(rawpath, agdaVersion)
       Ok(Agda(connection, path, agdaVersion))
     | Ok(path, Error(alsVersion, agdaVersion, lspOptions)) =>
@@ -322,9 +326,11 @@ 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
+      Js.log("[ LOG ] original filepath: " ++ filepath)
       let libraryPath = Config.getLibraryPath()
       let highlightingMethod = Config.Highlighting.getHighlightingMethod()
       let backend = Config.getBackend()

lib/js/src/Connection/Endpoint/Connection__Endpoint__Agda.bs.js

@@ -89,6 +89,7 @@ module Module: Module = {
   }
 
   let make = async (path, version) => {
+    Js.log("[ LOG ][ Agda.make ] Received path: " ++ path)
     let args = Array.concat(["--interaction"], Config.Connection.getCommandLineOptions())
     let conn = {
       process: Process.make(path, args),