Skip to content

instance warning #7396

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
Merged
merged 2 commits into from
Jul 25, 2024
Merged

instance warning #7396

merged 2 commits into from
Jul 25, 2024

Conversation

andreasabel
Copy link
Member

  • clean Agda.Utils.List: uncons is now in base
  • new aspect InstanceProblem for highlighting instance warnings

@andreasabel andreasabel added ux: highlighting Issues relating to syntax highlighting instance Instance resolution range ux: warnings Issues relating to the reporting of warnings labels Jul 25, 2024
@andreasabel andreasabel added this to the 2.8.0 milestone Jul 25, 2024
@andreasabel andreasabel merged commit d45c39f into master Jul 25, 2024
27 checks passed
@andreasabel andreasabel deleted the instance-warning branch August 1, 2024 16:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
instance Instance resolution range ux: highlighting Issues relating to syntax highlighting ux: warnings Issues relating to the reporting of warnings
Projects
None yet
Milestone
2.8.0
Development

Successfully merging this pull request may close these issues.
1 participant
@andreasabel