Skip to content

Conversation

@isovector
Copy link
Collaborator

Fixes #1953

Copy link
Member

@jneira jneira left a comment

Choose a reason for hiding this comment

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

lgtm

@isovector isovector added the merge me Label to trigger pull request merge label Jun 21, 2021
@mergify mergify bot merged commit d4e2a6f into haskell:master Jun 21, 2021
@expipiplus1
Copy link
Contributor

thanks!

@isovector isovector deleted the empty-lambdacase branch July 19, 2021 17:55
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.

It would be nice if wingman's Complete case constructors lens worked with LambdaCase

3 participants