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: #391 (comment)

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

[isovector]

I plan to tackle this.

[jneira]

This deserves a special label 😉

[isovector]

Implemented in 84d47cd; 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 ***@***.***> wrote: Implemented in 84d47cd <84d47cd>; this will be fixed when we merge #431 <#431> — You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub <#394 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AAGRJXG4FAFWRRKG7AKI2X3SIM4DDANCNFSM4RGSQ5WA> .