diff options
Diffstat (limited to 'test/files/pos/t7517.scala')
-rw-r--r-- | test/files/pos/t7517.scala | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/test/files/pos/t7517.scala b/test/files/pos/t7517.scala deleted file mode 100644 index 29bd0936ce..0000000000 --- a/test/files/pos/t7517.scala +++ /dev/null @@ -1,22 +0,0 @@ -trait Box[ K[A[x]] ] - -object Box { - // type constructor composition - sealed trait ∙[A[_], B[_]] { type l[T] = A[B[T]] } - - // composes type constructors inside K - type SplitBox[K[A[x]], B[x]] = Box[ ({ type l[A[x]] = K[ (A ∙ B)#l] })#l ] - - def split[ K[A[x]], B[x] ](base: Box[K]): SplitBox[K,B] = ??? - - class Composed[B[_], K[A[x]] ] { - val box: Box[K] = ??? - - type Split[ A[x] ] = K[ (A ∙ B)#l ] - val a: Box[Split] = Box.split(box) - - //Either of these work: - //val a: Box[Split] = Box.split[K,B](box) - //val a: Box[ ({ type l[A[x]] = K[ (A ∙ B)#l ] })#l ] = Box.split(box) - } -} |