Haskell-language-server: Allow using LambdaCase in case splitting plugin

[expipiplus1]

It would be nice if case splitting were configurable to generate LambdaCase splits. This could either be a static configuration option, or an additional suggestion in every split.

For the example here: https://github.com/haskell/haskell-language-server/pull/391#issue-483151504

fmapEither = \fab -> \case
  Left c -> Left _ 
  Right a -> Right _

[isovector]

I plan to tackle this.

[jneira]

This deserves a special label :wink:

[isovector]

Implemented in 84d47cda8c31e66c461348397390505e6526cbdd; this will be fixed when we merge #431. The tactics plugin will suggest a lambda case whenever the type is appropriate and -XLambdaCase is enabled.

[expipiplus1]

Thanks!

On Wed, Sep 30, 2020, 10:12 PM Sandy Maguire [e-mail]
wrote:

Implemented in 84d47cd
https://github.com/haskell/haskell-language-server/commit/84d47cda8c31e66c461348397390505e6526cbdd;
this will be fixed when we merge #431
https://github.com/haskell/haskell-language-server/pull/431

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
https://github.com/haskell/haskell-language-server/issues/394#issuecomment-701417119,
or unsubscribe
https://github.com/notifications/unsubscribe-auth/AAGRJXG4FAFWRRKG7AKI2X3SIM4DDANCNFSM4RGSQ5WA
.