8000 Re #6919: also separate compilation warnings by newlines by andreasabel · Pull Request #7473 · agda/agda · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Re #6919: also separate compilation warnings by newlines #7473

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

Merged
merged 1 commit into from
Sep 6, 2024

Conversation

andreasabel
Copy link
Member
@andreasabel andreasabel commented Sep 6, 2024

Fix #6919: also separate compilation warnings by newlines

@andreasabel andreasabel added this to the 2.8.0 milestone Sep 6, 2024
@andreasabel andreasabel self-assigned this Sep 6, 2024
@andreasabel andreasabel added ux: warnings Issues relating to the reporting of warnings backends backend: ghc Haskell code generation backend ("MAlonzo") labels Sep 6, 2024
@andreasabel andreasabel force-pushed the separate-compiler-warnings branch from 3c5e69c to 0be54d7 Compare September 6, 2024 07:34
@andreasabel andreasabel merged commit 0be54d7 into master Sep 6, 2024
28 checks passed
@andreasabel andreasabel deleted the separate-compiler-warnings branch September 6, 2024 09:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
backend: ghc Haskell code generation backend ("MAlonzo") backends ux: warnings Issues relating to the reporting of warnings
Projects
None yet
Development

Successfully merging this pull request may close these issues.

improving formatting of warnings/errors
1 participant
0