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

feat: start recovering errors locally instead of at the top level #177

Merged
merged 5 commits into from
Jun 16, 2024

Commits on Jun 8, 2024

  1. feat: start recovering errors locally instead of at the top level

    Goal is to keep as much information as possible about local types to
    improve the language server
    aboeglin committed Jun 8, 2024
    Configuration menu
    Copy the full SHA
    1430483 View commit details
    Browse the repository at this point in the history

Commits on Jun 9, 2024

  1. Configuration menu
    Copy the full SHA
    a09d701 View commit details
    Browse the repository at this point in the history

Commits on Jun 15, 2024

  1. feat: improve autocompletion

    aboeglin committed Jun 15, 2024
    Configuration menu
    Copy the full SHA
    5b02cf7 View commit details
    Browse the repository at this point in the history

Commits on Jun 16, 2024

  1. Configuration menu
    Copy the full SHA
    9eb0518 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    eabf9cd View commit details
    Browse the repository at this point in the history