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: updates options on Configuration change #623

Merged
merged 9 commits into from
Aug 18, 2022
Merged

feat: updates options on Configuration change #623

merged 9 commits into from
Aug 18, 2022

Conversation

gnikit
Copy link
Member

@gnikit gnikit commented Aug 16, 2022

An interface to the linter options has been implemented that
fetches new options whenever a configuration change is
detected.
This also solves the problem of constantly having to call
getconfiguration in various parts of the linter

gnikit added 9 commits August 16, 2022 14:39
An interface to the linter options has been implemented that
fetches new options whenever a configuration change is
detected.
This also solves the problem of constantly having to call
getconfiguration in various parts of the linter
Updates built-in symbol definition provider as  a fallback solution
Discards the verbose spawn call to the linter and replaces it with
spawnAsPromise. Makes the relevant linting routines async
and also allows the linter to return the diagnostics for the URI to aid
with unittesting.

The unittests for the default and fypp linter have now been fixed.
Revert commit when [FEAT] Gfortran v11+enhanced linting support #523
is fullfiled
@gnikit gnikit merged commit 0142b35 into main Aug 18, 2022
@gnikit gnikit deleted the feat/lint-int branch August 18, 2022 08:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant