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

The flag Werror=unrecognised-warning-flags does not turn unrecognised warnings on fatal errors #5932

Closed
asr opened this issue May 31, 2022 · 0 comments
Closed

The flag Werror=unrecognised-warning-flags does not turn unrecognised warnings on fatal errors #5932

asr opened this issue May 31, 2022 · 0 comments
Assignees
@asr
Labels
devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) ghc issue Bug in GHC that causes a bug in Agda type: bug Issues and pull requests about actual bugs
Milestone
2.6.3

Comments

@asr
Copy link
Member

asr commented May 31, 2022

What the title says. I reported the issue to GHC. As a workaround, I shall add the Werror flag to Agda.cabal.
@asr asr added type: bug Issues and pull requests about actual bugs ghc issue Bug in GHC that causes a bug in Agda labels May 31, 2022
@asr asr added this to the 2.6.3 milestone May 31, 2022
@asr asr self-assigned this May 31, 2022
@asr asr closed this as completed in dbea50f May 31, 2022
asr added a commit that referenced this issue May 31, 2022
@asr
Merge pull request #5933 from agda/issue-5932
46031e1 
[ closed #5932 ] Added `Werror` as workaround.
This was referenced Jun 1, 2022
Closed
Closed
@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

@asr asr

Labels
devx Developer Experience (IDE setup, linting, dev builds, etc.) (not in changelog) ghc issue Bug in GHC that causes a bug in Agda type: bug Issues and pull requests about actual bugs
Projects
None yet
Milestone
2.6.3
Development

No branches or pull requests
2 participants
@asr @andreasabel