Skip to content

making is_derive_mx instance causes loops - #2074

Open
affeldt-aist wants to merge 1 commit into
math-comp:masterfrom
affeldt-aist:derive_20260806
Open

making is_derive_mx instance causes loops#2074
affeldt-aist wants to merge 1 commit into
math-comp:masterfrom
affeldt-aist:derive_20260806

Conversation

@affeldt-aist

@affeldt-aist affeldt-aist commented Aug 6, 2026

Copy link
Copy Markdown
Member
Motivation for this change

Can be mitigated with

Remove Hints is_derive_mx : typeclass_instances.

fyi: @yosakaon @holgerthies

Checklist
  • added corresponding entries in CHANGELOG_UNRELEASED.md
  • added corresponding documentation in the headers

Reference: How to document

Merge policy

As a rule of thumb:

  • PRs with several commits that make sense individually and that
    all compile are preferentially merged into master.
  • PRs with disorganized commits are very likely to be squash-rebased.
Reminder to reviewers

@affeldt-aist affeldt-aist added this to the 1.18.0 milestone Aug 6, 2026
@affeldt-aist affeldt-aist added the "bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug" label Aug 6, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

"bug" 🐛 This issue (resp. PR) describes (resp. fixes) a "bug"

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant