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

Initial stab at external language support #50

Closed
1 task done
mchakravarty opened this issue Jan 10, 2023 · 0 comments
Closed
1 task done

Initial stab at external language support #50

mchakravarty opened this issue Jan 10, 2023 · 0 comments
Labels
advanced Larger effort with open questions enhancement New feature or request

Comments

@mchakravarty
Copy link
Owner

mchakravarty commented Jan 10, 2023

To make use of syntactic and semantic information provided by external tools, such as an LSP server, we need infrastructure to query the external information provider and to receive updates from the external information providers (such as new diagnostic messages).

@mchakravarty mchakravarty added enhancement New feature or request advanced Larger effort with open questions labels Jan 10, 2023
mchakravarty added a commit that referenced this issue Feb 7, 2023
mchakravarty added a commit that referenced this issue Feb 13, 2023
mchakravarty added a commit that referenced this issue May 18, 2023
mchakravarty added a commit that referenced this issue May 20, 2023
mchakravarty added a commit that referenced this issue May 26, 2023
This hasn’t been well tested yet.

Contributes to #50
mchakravarty added a commit that referenced this issue Jun 23, 2023
* Location wrappers now come in a file and a text flavour.
* Language services can provide diagnostics via a Combine `CurrentValueSubject`.
* Stream lined some logging levels

Contributes to #50
mchakravarty added a commit that referenced this issue Jul 4, 2023
mchakravarty added a commit that referenced this issue Jul 9, 2023
mchakravarty added a commit that referenced this issue Jul 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
advanced Larger effort with open questions enhancement New feature or request
Projects
Development

No branches or pull requests

1 participant