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.

Sign up for GitHub

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

Jump to bottom

Initial LSP Server (Linting, Parsing, Typecheck) #8

Closed
wants to merge 18 commits into from
Closed

Initial LSP Server (Linting, Parsing, Typecheck) #8

wants to merge 18 commits into from

Conversation

rsoeldner
Copy link
Member

@rsoeldner rsoeldner commented Mar 27, 2023 •
edited
Loading

This PR adds basic functionally for the LSP server and include:

  • linting
  • parsing
  • typechecking

@rsoeldner rsoeldner marked this pull request as ready for review March 31, 2023 07:09
@rsoeldner rsoeldner requested review from jmcardon and emilypi March 31, 2023 07:12
@rsoeldner rsoeldner changed the title LSP Server Initial LSP Server (Linting, Parsing, Typecheck) Mar 31, 2023
@jmcardon
Copy link
Member

Closing since it's a bit too old. @rsoeldner will port over the changes to a new PR with the latest master.

@jmcardon jmcardon closed this Dec 20, 2023
@rsoeldner rsoeldner deleted the rsoeldner/lsp branch December 21, 2023 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@jmcardon jmcardon Awaiting requested review from jmcardon jmcardon is a code owner

@emilypi emilypi Awaiting requested review from emilypi

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@rsoeldner @jmcardon