Wingman: Don't clobber where clauses (#2184)
* Extend TopLevelRHS pattern to track the where clause
* Don't case split if there's a where clause
* Add tests
Co-authored-by:
Javier Neira <atreyu.bbb@gmail.com>
Showing
- plugins/hls-tactics-plugin/src/Wingman/GHC.hs 8 additions, 3 deletionsplugins/hls-tactics-plugin/src/Wingman/GHC.hs
- plugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs 20 additions, 6 deletionsplugins/hls-tactics-plugin/src/Wingman/LanguageServer.hs
- plugins/hls-tactics-plugin/test/CodeAction/RefineSpec.hs 1 addition, 0 deletionsplugins/hls-tactics-plugin/test/CodeAction/RefineSpec.hs
- plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.expected.hs 6 additions, 0 deletions...s-tactics-plugin/test/golden/RefineIntroWhere.expected.hs
- plugins/hls-tactics-plugin/test/golden/RefineIntroWhere.hs 6 additions, 0 deletionsplugins/hls-tactics-plugin/test/golden/RefineIntroWhere.hs
Loading
Please register or sign in to comment