alephium / ralph-lsp

Ralph language server
7 stars 1 forks source link

Prioritise `Warning`'s file URI #313

Closed simerplaha closed 3 weeks ago

simerplaha commented 1 month ago

Warning has a fileURI which may or may not be different to where the CompiledContract is implemented, so the Warning's fileURI should be prioritised. If it is None then use the fileURI in Ast.Contract's SourceIndex. If both are None then find the fileURI where the Ast.Contract's type name is implemented.

For details see the attached issue 1096.