You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Specifically in the context of type checking and while running the language server (aiken lsp), it would
be nice if the more than one error could be show at a time in an editor. In the command line things would stay as is.
Why is it a good idea?
LSP Mode
This is useful when getting feedback in an editor that supports LSP. We totally can make it happen especially
for exhaustiveness errors.
What is the current alternative and why is it not good enough?
The status quo is reasonable but specifically for the LSP context it provides greater value than one error at a time.
The text was updated successfully, but these errors were encountered:
What is your idea? Provide a use case.
Specifically in the context of type checking and while running the language server (
aiken lsp
), it wouldbe nice if the more than one error could be show at a time in an editor. In the command line things would stay as is.
Why is it a good idea?
LSP Mode
This is useful when getting feedback in an editor that supports LSP. We totally can make it happen especially
for exhaustiveness errors.
What is the current alternative and why is it not good enough?
The status quo is reasonable but specifically for the LSP context it provides greater value than one error at a time.
The text was updated successfully, but these errors were encountered: