Skip to content

Split Members into multiple constraints#3093

Merged
stefanwire merged 5 commits intodevelopfrom
pcapriotti/split-member-constraints
Feb 17, 2023
Merged

Split Members into multiple constraints#3093
stefanwire merged 5 commits intodevelopfrom
pcapriotti/split-member-constraints

Conversation

@pcapriotti
Copy link
Contributor

@pcapriotti pcapriotti commented Feb 16, 2023

This PR splits all Polysemy Members constraints into multiple Member constraints. This makes it possible for -Wredundant-constraints to trigger and flag numerous redundant items.

Checklist

  • Add a new entry in an appropriate subdirectory of changelog.d
  • Read and follow the PR guidelines

@pcapriotti pcapriotti force-pushed the pcapriotti/split-member-constraints branch from 2d51245 to c03fa18 Compare February 17, 2023 09:48
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Feb 17, 2023
Copy link
Contributor

@mdimjasevic mdimjasevic left a comment

Choose a reason for hiding this comment

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

Everything looks fine.

It would be great if you added a changelog; it's a quite big change (in terms of the number of lines).

@pcapriotti pcapriotti force-pushed the pcapriotti/split-member-constraints branch from c03fa18 to cd5c9e9 Compare February 17, 2023 11:00
@stefanwire stefanwire merged commit c27541d into develop Feb 17, 2023
@stefanwire stefanwire deleted the pcapriotti/split-member-constraints branch February 17, 2023 11:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants

Comments