-
Notifications
You must be signed in to change notification settings - Fork 395
[ test ] Use clean_names in tests by default
#3622
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
Conversation
| @@ -1 +1 @@ | |||
| ERROR: Unhandled input for Prelude.Num.case block in mod at Prelude.Num:94:3--96:44 | |||
| ERROR: Unhandled input for Prelude.Num.case block in mod at Prelude.Num:1 | |||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think we should remove the location in the names of implementations. This will make the tests resistant to changes in Prelude.
|
Perhaps we should only clean locators after |
|
If we wanted to be precise we could do after My only reservation with what you have is that we might loose tests for locations of errors (e.g. sometimes unification errors will name |
|
I think it shouldn't affect locations in errors now |
|
Windows hangs every time in this PR. Maybe |
|
That could be, it looks like the while loop expects the replacement to leave something that doesn't match the original regex. We need a termination checker for AWK. :) |
I've made many runs. It seems like it's just bad luck UPD: Or not. It doesn't always hang, but it seems to happen more often than usual. |
53dee91 to
5e66ce7
Compare
The reason is the |
|
Happy to merge this whenever it's ready to go. |
Description
Often, when changing compilers, differences in machine names are detected in tests. I think it would be useful to apply
clean_namesto all tests by default.Self-check
CONTRIBUTING.mdand I've updated
CONTRIBUTORS.mdwith my name.implementation, I have updated
CHANGELOG_NEXT.md