Open klaeufer opened 7 years ago
Thanks, @klaeufer. Currently, this isn’t much of a problem in practice, because it’s rare that you can actually resolve Recursive[T]
, usually you need Recursive.Aux[T, F]
, and (unfortunately) you can’t get there from Birecursive
.
This is still a problem, though, and will be worse once we get the type class hierarchy working as intended. Prioritizing the implicits should fix it. I’ll do that soon.
Thanks, @sellout, I'll keep using the workaround until the prioritized implicits are in place.
@sellout This problem went away after I upgraded to Scala 2.12.1 and enabled -Ypartial-unification.
I just ran into this, which reminded me of this issue, and so I’ll actually fix it now 😆 (Although I hope it’s not gotten in your way in the mean time.)
Symptoms
cata
and other recursion patterns unavailable forFix
and related types.Causes
Ambiguity between
recursiveTRecursive
andbirecursiveTBirecursive
, apparently in top-level package object.How to reproduce
Same problem for
Mu
andNu
.Workaround