File tree Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change @@ -294,15 +294,16 @@ package LSP.Types is
294294 subtype ProgressToken is LSP_Number_Or_String;
295295
296296 type LSP_URI is private ;
297+ -- Type for LSP URI.
298+ --
299+ -- Note that URIs can be different while pointing to the same file. So
300+ -- when wanting to determine if two URIs represent the same file, avoid
301+ -- comparing them with "=". Instead, the URIs should be converted to
302+ -- normalized paths before comparison (e.g. with GNATCOLL.VFS).
297303
298304 function Equal (Left, Right : LSP_URI) return Boolean;
299305 -- Let's try to avoid URI comparison.
300306
301- overriding function "=" (Left, Right : LSP_URI) return Boolean is abstract ;
302- -- Disable URI comparison with "=". Two URIs can point the same file
303- -- even when they are distinct. In most case we shouldn't compare URIs,
304- -- but find corresponding files and compare their normalized names.
305-
306307 function File_To_URI (File : String) return LSP.Types.LSP_URI;
307308 -- Turn the File name into an URI
308309
You can’t perform that action at this time.
0 commit comments