Fix #1879 (#2644)
Co-authored-by:
Sandy Maguire <sandy@sandymaguire.me>
Showing
- plugins/hls-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs 3 additions, 2 deletions...-tactics-plugin/src/Wingman/KnownStrategies/QuickCheck.hs
- plugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs 1 addition, 0 deletionsplugins/hls-tactics-plugin/test/CodeAction/AutoSpec.hs
- plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.expected.hs 7 additions, 0 deletions.../test/golden/GoldenArbitrarySingleConstructor.expected.hs
- plugins/hls-tactics-plugin/test/golden/GoldenArbitrarySingleConstructor.hs 6 additions, 0 deletions...cs-plugin/test/golden/GoldenArbitrarySingleConstructor.hs
Loading
Please register or sign in to comment