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.

Sign up for GitHub

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

Jump to bottom

GHC 9.0.2 missing warning: -Wunicode-bidirectional-format-characters #5876

Closed
asr opened this issue Apr 27, 2022 · 2 comments
Closed

GHC 9.0.2 missing warning: -Wunicode-bidirectional-format-characters #5876

asr opened this issue Apr 27, 2022 · 2 comments
Labels
devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) ghc-9.0.2 type: enhancement Issues and pull requests about possible improvements ux: warnings Issues relating to the reporting of warnings
Milestone
2.6.3

Comments

@asr
Copy link
Member

asr commented Apr 27, 2022

GHC 9.0.2 adds the -Wunicode-bidirectional-format-characters to the standard warnings.
@asr asr added type: enhancement Issues and pull requests about possible improvements ghc-9.0.2 labels Apr 27, 2022
@asr asr added this to the 2.6.3 milestone Apr 27, 2022
asr added a commit that referenced this issue Apr 27, 2022
@asr
[ closed #5876 ] Added -Wunicode-bidirectional-format-characters wa…
fe75c14 
…rning.
@andreasabel
Copy link
Member

@asr: Please read fe75c14#r72324051

@andreasabel
Copy link
Member

Thanks!

@asr asr closed this as completed in 1eec14e Apr 27, 2022
asr added a commit that referenced this issue Apr 27, 2022
@asr
Merge pull request #5877 from agda/issue-5876
0575471 
[ closed #5876 ] Added `-Wunicode-bidirectional-format-characters` warning
@asr asr added the ux: warnings Issues relating to the reporting of warnings label Apr 27, 2022
@andreasabel andreasabel mentioned this issue Oct 24, 2022
Closed
@andreasabel andreasabel added the devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) label Oct 24, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) ghc-9.0.2 type: enhancement Issues and pull requests about possible improvements ux: warnings Issues relating to the reporting of warnings
Projects
None yet
Milestone
2.6.3
Development

No branches or pull requests
2 participants
@asr @andreasabel