Use canonicalized URIs/paths for jump to definition

Author: fhammerschmidt

analysis/src/Commands.ml

@@ -110,9 +110,9 @@ let definition ~path ~pos ~debug =
             && posIsZero loc.loc_end
           in
           if skipLoc then None
-          else
+          else 
             Some
-              {Protocol.uri = Uri.toString uri; range = Utils.cmtLocToRange loc}
+              {Protocol.uri = Files.canonicalizeUri uri; range = Utils.cmtLocToRange loc}
         | Some _ -> None))
   in
   print_endline
@@ -132,7 +132,7 @@ let typeDefinition ~path ~pos ~debug =
         | None -> None
         | Some (uri, loc) ->
           Some
-            {Protocol.uri = Uri.toString uri; range = Utils.cmtLocToRange loc}))
+            {Protocol.uri = Files.canonicalizeUri uri; range = Utils.cmtLocToRange loc}))
   in
   print_endline
     (match maybeLocation with

analysis/src/Files.ml

@@ -102,3 +102,5 @@ let classifySourceFile path =
   if Filename.check_suffix path ".res" && exists path then Res
   else if Filename.check_suffix path ".resi" && exists path then Resi
   else Other
+
+let canonicalizeUri uri = uri |> Uri.toPath |> Unix.realpath