Skip to content

Should no related code lens if the module name is correct - #2826

Merged
mergify[bot] merged 6 commits into
haskell:masterfrom
July541:fix-2797
Apr 13, 2022
Merged

Should no related code lens if the module name is correct#2826
mergify[bot] merged 6 commits into
haskell:masterfrom
July541:fix-2797

Conversation

@July541

@July541 July541 commented Apr 12, 2022

Copy link
Copy Markdown
Collaborator

Close #2797.

@July541 July541 changed the title Should no code lens if the module name is correct Should no related code lens if the module name is correct Apr 12, 2022
let path = "diagnostics" </> "Foo.hs"
_ <- openDoc path "haskell"
expectProgressMessages [pack ("Setting up testdata (for " ++ path ++ ")"), "Processing", "Indexing"] []
, knownBrokenForGhcVersions [GHC92] "No evaluation status with GHC 9.2" $ requiresEvalPlugin $ testCase "eval plugin sends progress reports" $

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Not know how did it pass the previous tests.

@michaelpj michaelpj left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

Nice! Good bug hunting.

Comment thread plugins/hls-module-name-plugin/test/Main.hs Outdated
Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
@michaelpj michaelpj added the merge me Label to trigger pull request merge label Apr 13, 2022
@mergify
mergify Bot merged commit 3c52743 into haskell:master Apr 13, 2022
@July541
July541 deleted the fix-2797 branch April 13, 2022 14:00
sloorush pushed a commit to sloorush/haskell-language-server that referenced this pull request May 21, 2022
* Should no code lens if the module name is correct

* Rerun tests

* Rerun tests

* Try remove hls-eval-plugin known-broken in ghc-9.2

* Rerun tests

* Apply more accurate test name

Co-authored-by: Michael Peyton Jones <me@michaelpj.com>

Co-authored-by: Michael Peyton Jones <me@michaelpj.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

merge me Label to trigger pull request merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Set module name to <name> is suggested even if the module is already called <name>

2 participants