Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Avoid reordering plugins #1629

Merged
merged 3 commits into from
Apr 2, 2021
Merged

Avoid reordering plugins #1629

merged 3 commits into from
Apr 2, 2021

Conversation

pepeiborra
Copy link
Collaborator

Order of execution matters for notification plugins, so best to avoid unnecessary reorderings

@pepeiborra pepeiborra requested a review from alanz March 27, 2021 17:30
@pepeiborra pepeiborra force-pushed the plugins-ordering branch 4 times, most recently from cb57563 to e0c93c2 Compare March 28, 2021 09:39
Copy link
Collaborator

@alanz alanz left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@pepeiborra pepeiborra added the merge me Label to trigger pull request merge label Mar 28, 2021
Order of execution matters for notification plugins, so lets avoid unnecessary
reorderings
@mergify mergify bot merged commit 3e3d782 into master Apr 2, 2021
berberman pushed a commit to berberman/haskell-language-server that referenced this pull request Apr 4, 2021
* Avoid reordering plugins

Order of execution matters for notification plugins, so lets avoid unnecessary
reorderings

* remove duplicate plugins

* fix tests
isovector pushed a commit to isovector/haskell-language-server that referenced this pull request Apr 5, 2021
* Avoid reordering plugins

Order of execution matters for notification plugins, so lets avoid unnecessary
reorderings

* remove duplicate plugins

* fix tests
mergify bot added a commit that referenced this pull request Apr 6, 2021
* Start tracking provenance of stale data

It's amazing how wrong this code used to be

* Add some machinery for automagically updating the age

* Add an applicative instance

* Tracked ages makes everything much easier to reason about

* Formatting

* Haddock and small changes

* Update haddock on IdeAction

* Update to lsp-1.2 (#1631)

* Update to lsp-1.2

* fix stack

* fix splice plugin tests

* fix tactic plugin tests

* fix some tests

* fix some tests

* fix outline tests

* hlint

* fix func-test

* Avoid reordering plugins (#1629)

* Avoid reordering plugins

Order of execution matters for notification plugins, so lets avoid unnecessary
reorderings

* remove duplicate plugins

* fix tests

* Civilized indexing progress reporting (#1633)

* Civilized indexing progress reporting

* optProgressStyle

* Consistency: Indexing references ==> Indexing

* Fix progress tests

* Do not override custom user commands (#1650)

Co-authored-by: Potato Hatsue <1793913507@qq.com>

* Shut the Shake session on exit, instead of restarting it (#1655)

Restarting the session will result in progress reporting and other messages
being sent to the client, which might have already closed the stream

Co-authored-by: Potato Hatsue <1793913507@qq.com>

* Fix importing type operators (#1644)

* Fix importing type operators

* Update test

* Add expected failure tests

* log exceptions before killing the server (#1651)

* log hiedb exceptions before killing the server

* This is not the hiedb thread - fix message

* Fix handler - either an error or success

* additional .gitignore entries (#1659)

* Fix ignore paths (#1656)

* Skip individual steps

* Skip individual steps

* And needs pre_job

* Add bounds for Diff (#1665)

* Replace Barrier with MVar in lsp main (#1668)

* Port UseStale to ghcide

* Use the new ghcide UseStale machinery

* Fix hlint complaints

Co-authored-by: wz1000 <zubin.duggal@gmail.com>
Co-authored-by: Pepe Iborra <pepeiborra@gmail.com>
Co-authored-by: Potato Hatsue <1793913507@qq.com>
Co-authored-by: Javier Neira <atreyu.bbb@gmail.com>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge me Label to trigger pull request merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants