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
294
294
subtype ProgressToken is LSP_Number_Or_String;
295
295
296
296
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).
297
303
298
304
function Equal (Left, Right : LSP_URI) return Boolean;
299
305
-- Let's try to avoid URI comparison.
300
306
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
-
306
307
function File_To_URI (File : String) return LSP.Types.LSP_URI;
307
308
-- Turn the File name into an URI
308
309
You can’t perform that action at this time.
0 commit comments