-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Support PCP type healing for higher kinded types #5965
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.
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
Labels
Comments
Later, we could add better support for HK type by providing context bounds for them and combining them with def f2[T: Type, S[_]: HK1Type]: Any = {
'{
val a: S[T] = ???
}
}
class HK1Type[Y[_]] {
def apply[X](x: Type[X]): Type[Y[X]] = ??? // implemented by the compiler
}
implicit def ev[X, Y[_]](implicit x: Type[Y], y: HK1Type[S]): Type[Y[X]] = y(x) |
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Feb 26, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Feb 26, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Feb 26, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Feb 27, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Mar 4, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Mar 4, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Mar 4, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Mar 4, 2019
nicolasstucki
added a commit
to dotty-staging/dotty
that referenced
this issue
Mar 7, 2019
liufengyun
added a commit
that referenced
this issue
Mar 8, 2019
Fix #5965: Make scala.quoted.Type poly-kinded
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently
fails with
When healing the types we just do not try to find implicit
Type
for applied higher kinded types. To support this it looks like we need to handleAppliedTypes
in PCPCheckAndHeal.checkType before trying to heal it's parts.The text was updated successfully, but these errors were encountered: