Open
Description
Currently, file URIs are compared directly using equality:
thisFileURI == thatFileURI
This comparison fails in cases where the file path contains characters like +
, which may appear in different encoded forms:
- file:///root/project/contracts+/code.ral
- file:///root/project/contracts%2B/code.ral
Although these URIs refer to the same file, the equality check treats them as unequal.
A temporary workaround is to avoid using symbols like +
in file paths.
Metadata
Metadata
Assignees
Labels
No labels