Fix typelevel#52.

wearexteam · Jun 27, 2017 · e82474e · e82474e
1 parent 10ec413
commit e82474e
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 6 deletions.
diff --git a/src/main/scala/KindProjector.scala b/src/main/scala/KindProjector.scala
@@ -162,8 +162,9 @@ class KindRewriter(plugin: Plugin, val global: Global)
         case Ident(name) =>
           makeTypeParamFromName(name)
 
-        case TypeDef(m, nm, ps, bs) =>
-          TypeDef(Modifiers(PARAM), nm, ps.map(makeComplexTypeParam), bs)
+        case AppliedTypeTree(Ident(name), ps) =>
+          val tparams = ps.map(makeComplexTypeParam)
+          TypeDef(Modifiers(PARAM), makeTypeName(name), tparams, DefaultBounds)
 
         case ExistentialTypeTree(AppliedTypeTree(Ident(name), ps), _) =>
           val tparams = ps.map(makeComplexTypeParam)

diff --git a/src/test/scala/test.scala b/src/test/scala/test.scala
@@ -36,7 +36,7 @@ object Test {
   def qux[T[_[_]]] = ()
   qux[({type L[A[_]] = Unit})#L]
   qux[Lambda[A[_] => Unit]]
-  qux[Lambda[A[B] => Unit]] // OK
+  qux[Lambda[A[B] => Unit]]
 
   trait Functor[F[_]]
   trait EitherT[F[_], A, B]
@@ -47,9 +47,9 @@ object Test {
   def vex[T[_[_[_]]]] = ()
   vex[({type L[A[_[_]]] = Unit})#L]
   vex[Lambda[A[_[_]] => Unit]]
-  vex[Lambda[A[B[_]] => Unit]] // OK
-  vex[Lambda[A[_[C]] => Unit]] // OK
-  vex[Lambda[A[B[C]] => Unit]] // error
+  vex[Lambda[A[B[_]] => Unit]]
+  vex[Lambda[A[_[C]] => Unit]]
+  vex[Lambda[A[B[C]] => Unit]]
 
   def hex[T[_[_[_[_]]]]] = ()
   hex[({type L[A[_[_[_]]]] = Unit})#L]