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.

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

SI-2712 regression (tested against both typelevel and 2.12.0-RC2) #1431

Closed
Baccata opened this issue Oct 25, 2016 · 2 comments
Closed

SI-2712 regression (tested against both typelevel and 2.12.0-RC2) #1431

Baccata opened this issue Oct 25, 2016 · 2 comments
Labels
bug
Milestone
1.0.0-RC1

Comments

@Baccata
Copy link
Contributor

Baccata commented Oct 25, 2016

Using Ypartial-unification leads to Inject[F, F] typeclass instance not resolving correctly because of an ambiguity. Here is a minimal example :

https://github.com/Baccata/si2712-regression-example

As far as I understand, cats has some workarounds for SI-2712 that are rendered obsolete by the partial unification. I suppose scoping the implicit instances of Instance and give more priority to the reflexive instance could be a solution.
@kailuowang kailuowang added this to the cats-1.0.0 milestone Dec 9, 2016
@kailuowang
Copy link
Contributor

related to #1073

@kailuowang kailuowang added the bug label Mar 30, 2017
@kailuowang kailuowang modified the milestones: 1.0.0-RC1, 1.0.0-MF May 24, 2017
@ceedubs
Copy link
Contributor

ceedubs commented Sep 30, 2018

I believe that this was resolved by the removal of Unapply. Feel free to open a new issue if there is still a problem.

@ceedubs ceedubs closed this as completed Sep 30, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
1.0.0-RC1
Development

No branches or pull requests
3 participants
@kailuowang @ceedubs @Baccata