[ fix ] Remove hardcoded filepaths from testings

Author: banacorn

.github/workflows/test.yml

@@ -10,7 +10,8 @@ defaults:
 on:
   # Triggers the workflow on push or pull request events but only for the master branch
   push:
-    branches: [ master, dev, web, ci, ci-* ]
+    branches: [ ci ]
+    # branches: [ master, dev, web, ci, ci-* ]
   pull_request:
     branches: [ master, dev, ci, ci-* ]
 
@@ -21,7 +22,8 @@ jobs:
     runs-on: ${{ matrix.os }} 
     strategy:
       matrix:
-        os: [windows-latest, ubuntu-latest, macos-latest]
+        # os: [windows-latest, ubuntu-latest, macos-latest]
+        os: [windows-latest]
         agda: ["Agda-2.6.3", "Agda-2.6.4", "Agda-2.7.0"]
       fail-fast: false
 

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

@@ -114,7 +114,7 @@ module Module: Module = {
     | Connection__URI.LspURI(_) => Error(Error.Probe.CannotHandleURLsAtTheMoment)
     | FileURI(_, vscodeUri) =>
       let path = VSCode.Uri.fsPath(vscodeUri)
-      let result = await Connection__Process__Exec.run(path, ["--version"])
+      let result = await Connection__Process__Exec.run(path, ["--version"], ~timeout=3000)
       switch result {
       | Ok(output) =>
         // try Agda

lib/js/src/Connection/Shared/Connection__URI.bs.js

@@ -72,13 +72,6 @@ let parse = raw => {
   }
 }
 
-// Returns the original raw input string of the Connection URI.
-let getOriginalPath = uri =>
-  switch uri {
-  | FileURI(raw, _) => raw
-  | LspURI(raw, _) => raw
-  }
-
 // // Extracts the VSCode.Uri from a FileURI variant, if possible.
 // // This is useful when you need to work with VSCode APIs that expect VSCode.Uri.t directly.
 // //

lib/js/test/tests/Test__Connection.bs.js

@@ -105,7 +105,7 @@ describe("Connection", () => {
     )
   })
 
-  describe("`probeFilepath`", () => {
+  describe_only("`probeFilepath`", () => {
     let agdaMockPath = ref("")
     let alsMockPath = ref("")
 
@@ -286,9 +286,15 @@ describe("Connection", () => {
 
         let result = await Connection.probeFilepath(fileName)
 
+        // Normalize fileName through the same URI parsing process for consistent comparison
+        let normalizedFileName = switch Connection__URI.parse(fileName) {
+        | FileURI(_, vsCodeUri) => VSCode.Uri.fsPath(vsCodeUri)
+        | LspURI(_, _) => fileName // fallback, shouldn't happen in this test
+        }
+
         switch result {
         | Ok(path, Error(alsVersion, agdaVersion, Some(lspOptions))) =>
-          Assert.deepStrictEqual(path, fileName)
+          Assert.deepStrictEqual(path, normalizedFileName)
           Assert.deepStrictEqual(alsVersion, "1.2.3")
           Assert.deepStrictEqual(agdaVersion, "2.6.4")
           // Should have Agda_datadir environment variable set

lib/js/test/tests/Test__ShowGoals.bs.js

@@ -15,7 +15,14 @@ let run = normalization => {
       )
 
     let filteredResponses = responses->Array.filter(filteredResponse)
-    Assert.deepStrictEqual(filteredResponses, [DisplayInfo(AllGoalsWarnings("*All Goals, Errors*", "?0 : ℕ\n?1 : ℕ\n?2 : ℕ\n?3 : _11\nSort _10  [ at /Users/banacorn/rescript/agda-mode-vscode/test/tests/assets/Goals.agda:11,19-31 ]\n_11 : _10  [ at /Users/banacorn/rescript/agda-mode-vscode/test/tests/assets/Goals.agda:11,19-31 ]\n_14 : ℕ  [ at /Users/banacorn/rescript/agda-mode-vscode/test/tests/assets/Goals.agda:11,19-31 ]\n\n———— Error —————————————————————————————————————————————————\nUnsolved constraints"))])
+
+    let filepath = Path.asset(filename)
+    let expectedAllGoalsWarningsBody = `?0 : ℕ\n?1 : ℕ\n?2 : ℕ\n?3 : _11\nSort _10  [ at ${filepath}:11,19-31 ]\n_11 : _10  [ at ${filepath}:11,19-31 ]\n_14 : ℕ  [ at ${filepath}:11,19-31 ]\n\n———— Error —————————————————————————————————————————————————\nUnsolved constraints`
+
+    Assert.deepStrictEqual(
+      filteredResponses,
+      [DisplayInfo(AllGoalsWarnings("*All Goals, Errors*", expectedAllGoalsWarningsBody))],
+    )
   })
 
   Async.it("should work", async () => {