Skip to content

Remove overlapping patterns#8012

Merged
Mikolaj merged 1 commit intomasterfrom
andrea/fix-overlapping-patterns
Feb 23, 2022
Merged

Remove overlapping patterns#8012
Mikolaj merged 1 commit intomasterfrom
andrea/fix-overlapping-patterns

Conversation

@andreabedini
Copy link
Collaborator

These two otherwises have been dead code since about 2016 but GHC has
started warning about them only since 9.2.

I have checked that in these cases GHC has always been picking the first matching pattern.

@andreabedini
Copy link
Collaborator Author

Ok, this makes everything build successfully on GHC 9.2, tests still fail because of #7987

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, thanks!

@andreabedini
Copy link
Collaborator Author

Copy link
Member

@Mikolaj Mikolaj left a comment

Choose a reason for hiding this comment

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

It's all green!

@Mikolaj Mikolaj added the merge me Tell Mergify Bot to merge label Feb 23, 2022
@jneira
Copy link
Member

jneira commented Feb 23, 2022

This pr, like the other ones needs #8000 to run the jobs with the new names which are required

@Mikolaj
Copy link
Member

Mikolaj commented Feb 23, 2022

@Mergifyio rebase

@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2022

rebase

✅ Branch has been successfully rebased

@jneira jneira force-pushed the andrea/fix-overlapping-patterns branch from 57f7f6c to f9d0f8c Compare February 23, 2022 09:42
@Mikolaj
Copy link
Member

Mikolaj commented Feb 23, 2022

CI jobs are stuck due to #8000 not merged yet, so let me merge manually.

@Mikolaj
Copy link
Member

Mikolaj commented Feb 23, 2022

@Mergifyio rebase

These two `otherwise`s have been dead code since about 2016 but GHC has
started warning about them only since 9.2.
@mergify
Copy link
Contributor

mergify bot commented Feb 23, 2022

rebase

✅ Branch has been successfully rebased

@jneira jneira force-pushed the andrea/fix-overlapping-patterns branch from f9d0f8c to 22b700b Compare February 23, 2022 11:05
@Mikolaj Mikolaj merged commit 8667432 into master Feb 23, 2022
@andreabedini andreabedini deleted the andrea/fix-overlapping-patterns branch February 24, 2022 01:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

attention: needs-review merge me Tell Mergify Bot to merge

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants