8000 Handle `+` vs `%2B` and other file URI character encodings correctly · Issue #451 · alephium/ralph-lsp · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
Handle + vs %2B and other file URI character encodings correctly #451
Open
@simerplaha

Description

@simerplaha

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

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions

      0