Compiler diagnostics originating from typesystem are incomplete about elixir HOT 5 CLOSED

Thank you!

The message is not truncated, we don't include the snippet because we expect you to show it. I think however it can be confusing. Perhaps we should end the message by saying "typing violation found"?

We could compute the spam though, that would benefit both the console warning and the terminal one.

And what do you expect to be in detail?

from elixir.

we don't include the snippet because we expect you to show it

I don't think I follow. This is clearly different than TokenMissingError etc. where snippets are returned. I don't insist that the snippet is needed. Position/span is sufficient for LSP

And what do you expect to be in detail?

Other errors have exception in detail. I would expect to find some structured info about the type problem:

• positions where conflicting types are defined
• the conflicting types as data

In LSP Diagnostic besides the main position/span (range property) and message, there is a collection relatedInformation which can contain additional positions and messages. It's possible to build diagnostics that reference type definitions in another files. This is an example from elixir-ls

from elixir.

This is clearly different than TokenMissingError etc. where snippets are returned. I don't insist that the snippet is needed.

I think that's rather a flaw in TokenMissingError. I don't think we include it anywhere else. If you do IO.warn("hello", __ENV__) in the module body, does the diagnostic have the snippet as well or not really?

Other errors have exception in detail. I would expect to find some structured info about the type problem:

Got it. I will see what we can expose. Perhaps we can expose the traces.

from elixir.

does the diagnostic have the snippet as well or not really?

No, only some of them do. The changes to include snippets were introduced in 1.16. In fact they do look ugly if the UI displaying it is not using a monospaced font (and there is no markdown support in diagnostic messages but that's VSCode issue microsoft/vscode#54272)

from elixir.

For completeness, the reason why syntax error, token missing error, etc include the snippets is because they are exceptions. You can probably intercept those exceptions and render something without the snippets if desired.

from elixir.