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

LSP: Custom message to provide test metadata #2442

Closed
Tracked by #2441
phated opened this issue Aug 25, 2023 · 0 comments · Fixed by #2532
Closed
Tracked by #2441

LSP: Custom message to provide test metadata #2442

phated opened this issue Aug 25, 2023 · 0 comments · Fixed by #2532
Assignees
Labels
enhancement New feature or request

Comments

@phated
Copy link
Contributor

phated commented Aug 25, 2023

Problem

We need to use the compiler frontend to extract tests to make available to the testing panel in vscode. To do this, we can leverage custom messages with the LSP to send these down after processing a program.

Happy Case

All the user needs is the vscode plugin and LSP to have a nice testing panel in their editor

Alternatives Considered

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

Yes

Support Needs

No response

@phated phated added the enhancement New feature or request label Aug 25, 2023
@github-project-automation github-project-automation bot moved this to 📋 Backlog in Noir Aug 25, 2023
@phated phated self-assigned this Aug 25, 2023
@phated phated moved this from 📋 Backlog to 🏗 In progress in Noir Aug 30, 2023
@github-project-automation github-project-automation bot moved this from 🏗 In progress to ✅ Done in Noir Sep 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

1 participant