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

Improve errors messages for various set operations (AddSet, UniteSet, ...) #4145

Merged
merged 1 commit into from
Oct 21, 2020

Conversation

fingolfin
Copy link
Member

AddSet, RemoveSet, UniteSet, IntersectSet, SubtractSet now print a helpful error if the first argument is not mutable, or not a set.

I would argue that this resolves #3597 but not everybody might agree with that? @ChrisJefferson ?

@coveralls
Copy link

coveralls commented Oct 16, 2020

Coverage Status

Coverage decreased (-5.0e-05%) to 93.729% when pulling 2f8fed3 on fingolfin:mh/friendlier-set-operations into e62d395 on gap-system:master.

AddSet, RemoveSet, UniteSet, IntersectSet, SubtractSet now print a
helpful error if the first argument is not mutable, or not a set.
@fingolfin fingolfin added kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Oct 19, 2020
Copy link
Member

@wilfwilson wilfwilson left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think this is fine, and sufficient to close #3597

Issue #3597 raises ideas about more general solutions to improving error messages in the case that incorrect arguments are given, but I think that's beyond the scope of the issue, and anyway, it's a big topic and one that's not going to be forgotten when #3597 in particular gets closed.

@fingolfin fingolfin merged commit e0a20c3 into gap-system:master Oct 21, 2020
@fingolfin fingolfin deleted the mh/friendlier-set-operations branch October 21, 2020 11:01
@ThomasBreuer ThomasBreuer self-assigned this Feb 16, 2021
@ThomasBreuer ThomasBreuer changed the title Improve errors messages for various set operations Improved some errors messages for various set operations (AddSet, UniteSet, ...). Feb 16, 2021
@ThomasBreuer ThomasBreuer added release notes: added PRs introducing changes that have since been mentioned in the release notes and removed release notes: to be added PRs introducing changes that should be (but have not yet been) mentioned in the release notes labels Feb 16, 2021
@ThomasBreuer ThomasBreuer removed their assignment Feb 16, 2021
@fingolfin fingolfin changed the title Improved some errors messages for various set operations (AddSet, UniteSet, ...). Improve errors messages for various set operations (AddSet, UniteSet, ...) Aug 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind: enhancement Label for issues suggesting enhancements; and for pull requests implementing enhancements release notes: added PRs introducing changes that have since been mentioned in the release notes
Projects
None yet
Development

Successfully merging this pull request may close these issues.

AddSet, UniteSet, etc. could give more helpful error message if the list argument is not mutable
4 participants