Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Allow accumulating more than one error before exiting #824

Closed
rvcas opened this issue Feb 14, 2024 · 1 comment
Closed

Allow accumulating more than one error before exiting #824

rvcas opened this issue Feb 14, 2024 · 1 comment
Labels
typechecking Types and inference

Comments

@rvcas
Copy link
Member

rvcas commented Feb 14, 2024

What is your idea? Provide a use case.

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.

@rvcas rvcas added the typechecking Types and inference label Feb 14, 2024
@KtorZ KtorZ moved this to 🚀 Todo in Project Tracking Mar 20, 2024
@KtorZ KtorZ modified the milestones: 1.0.26-alpha, 1.1.0-beta Mar 20, 2024
@KtorZ KtorZ removed this from the 1.1.0-beta milestone Apr 4, 2024
@KtorZ
Copy link
Member

KtorZ commented May 9, 2024

Moved under #929

@KtorZ KtorZ closed this as completed May 9, 2024
@github-project-automation github-project-automation bot moved this from 🚀 Todo to ✅ Done in Project Tracking May 9, 2024
@rvcas rvcas moved this to 🚀 Released in Project Tracking May 22, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
typechecking Types and inference
Projects
Status: 🚀 Released
Development

No branches or pull requests

2 participants