Open treeowl opened 2 years ago
Is a migration guide required, or is the changelog entry sufficient here? If one is required, where does it go?
I don't know how to write a regression test for #265; it's both compile-time and subtle. Is that required for this?
Argh! I think there might be a coherence issue that needs to be resolved. Trying to get inference both ways may be fundamentally wrong.
Use type families and an auxiliary class to make instance resolution for
SuperComposition
more robust and predictable. Fixes #265.Make the first argument of
...
a function unconditionally, before instance selection. This can theoretically improve inference slightly, though it probably doesn't have much impact in practice.Description
Related issues(s)
✓ Checklist for your Pull Request
Ideally a PR has all of the checkmarks set.
If something in this list is irrelevant to your PR, you should still set this checkmark indicating that you are sure it is dealt with (be that by irrelevance).
Related changes (conditional)
Tests
Documentation
I checked whether I should update the docs and did so if necessary:
Record your changes
Stylistic guide (mandatory)
[x] My commit history is clean (only contains changes relating to my issue/pull request and no reverted-my-earlier-commit changes) and commit messages start with identifiers of related issues in square brackets.
Example:
[#42] Short commit description
If necessary both of these can be achieved even after the commits have been made/pushed using rebase and squash.