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

[ test ] Fix package tests hygiene #3088

Merged
merged 2 commits into from
Oct 4, 2023

Conversation

buzden
Copy link
Contributor

@buzden buzden commented Oct 3, 2023

I decided to be constructive in critics of #3085. This is an alternative, a more universal fix for the package tests hygiene problem. Fixes #3084, closes #3085. I also cleaned up old or became incorrect hygiene workarounds in existing tests.

Also, some tests' run scripts were changed due to the new style (I suppose, they were forgotten to be changed). To ease the review, I did it in a separate commit.

@buzden buzden changed the title Fix package tests hygiene [ test ] Fix package tests hygiene Oct 3, 2023
@buzden buzden force-pushed the fix-pkg-tests-hygiene branch 2 times, most recently from 81aea55 to ed32b3e Compare October 3, 2023 15:00
@buzden
Copy link
Contributor Author

buzden commented Oct 3, 2023

Oh, I forgot that Windows has different dir separator, let me fix it...

@buzden
Copy link
Contributor Author

buzden commented Oct 3, 2023

Thankfully, this appeared to be the only problem

@MithicSpirit
Copy link
Contributor

This does fix #3084 for me. Thanks!

@buzden
Copy link
Contributor Author

buzden commented Oct 4, 2023

To clarify, @gallais, this PR is ready

@gallais
Copy link
Member

gallais commented Oct 4, 2023

Thanks @buzden!

@gallais gallais merged commit a5b0274 into idris-lang:main Oct 4, 2023
22 checks passed
@buzden buzden deleted the fix-pkg-tests-hygiene branch October 4, 2023 13:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

pkg006 test fails
3 participants