[ fix ] Remove hardcoded filepaths from testings

Author: banacorn

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("")
 

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 () => {