Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Avoid expectFail in the test suite #4402

Merged
merged 2 commits into from
Sep 29, 2024
Merged

Conversation

sgillespie
Copy link
Contributor

Replace some expectFail references with explicit checks. Note that there are some remaining references that should probably be changed.

Addresses #4130

I've added TODO comments to most of the tests to explain what's wrong (that is, if I could correctly guess it). I wonder if it would be better to have issue numbers instead.

@sgillespie sgillespie changed the title WIP: Avoid expectFail in the test suite Avoid expectFail in the test suite Sep 27, 2024
Copy link
Collaborator

@fendor fendor left a comment

Choose a reason for hiding this comment

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

This looks great, thanks!

Is this ready for merge/review?

@sgillespie sgillespie marked this pull request as ready for review September 28, 2024 16:16
Create a type-level failure expectations, which allows us to add the
expected failure behavior and the future ideal behavior
@sgillespie
Copy link
Contributor Author

Is this ready for merge/review?

Yes it's ready, I was just waiting for CI to complete

@fendor fendor added the status: needs review This PR is ready for review label Sep 29, 2024
@michaelpj michaelpj added the merge me Label to trigger pull request merge label Sep 29, 2024
@mergify mergify bot merged commit 838c77c into haskell:master Sep 29, 2024
38 checks passed
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 status: needs review This PR is ready for review
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants