diff options
Diffstat (limited to 'tests/pending/pos/IterableSelfRec.scala')
-rw-r--r-- | tests/pending/pos/IterableSelfRec.scala | 52 |
1 files changed, 0 insertions, 52 deletions
diff --git a/tests/pending/pos/IterableSelfRec.scala b/tests/pending/pos/IterableSelfRec.scala deleted file mode 100644 index a97833991..000000000 --- a/tests/pending/pos/IterableSelfRec.scala +++ /dev/null @@ -1,52 +0,0 @@ -package dotty.collection -package immutable - -import annotation.unchecked.uncheckedVariance - -trait Collection[T] { self => - type This <: Collection { type This <: self.This } - def companion: CollectionCompanion[This] -} - -trait Iterable[T] extends Collection[T] { self => - type This <: Iterable { type This <: self.This } - override def companion: IterableCompanion[This] = Iterable.asInstanceOf - - def iterator: Iterator[T] -} - -trait Seq[T] extends Iterable[T] { self => - type This <: Seq { type This <: self.This } - override def companion: IterableCompanion[This] = Seq.asInstanceOf - - def apply(x: Int): T -} - -abstract class CollectionCompanion[+CC[X] <: Collection[X] { type This <: CC }] - -abstract class IterableCompanion[+CC[X] <: Iterable[X] { type This <: CC }] extends CollectionCompanion[CC] { - def fromIterator[T](it: Iterator[T]): CC[T] - def map[T, U](xs: Iterable[T], f: T => U): CC[U] = - fromIterator(xs.iterator.map(f)) - def filter[T](xs: Iterable[T], p: T => Boolean): CC[T] = - fromIterator(xs.iterator.filter(p)) - def flatMap[T, U](xs: Iterable[T], f: T => TraversableOnce[U]): CC[U] = - fromIterator(xs.iterator.flatMap(f)) - - implicit def transformOps[T](xs: CC[T] @uncheckedVariance): TransformOps[CC, T] = ??? // new TransformOps[CC, T](xs) -} - -class TransformOps[+CC[X] <: Iterable[X] { type This <: CC }, T] (val xs: CC[T]) extends AnyVal { - def companion[T](xs: CC[T] @uncheckedVariance): IterableCompanion[CC] = xs.companion - def map[U](f: T => U): CC[U] = companion(xs).map(xs, f) - def filter(p: T => Boolean): CC[T] = companion(xs).filter(xs, p) - def flatMap[U](f: T => TraversableOnce[U]): CC[U] = companion(xs).flatMap(xs, f) -} - -object Iterable extends IterableCompanion[Iterable] { - def fromIterator[T](it: Iterator[T]): Iterable[T] = ??? -} -object Seq extends IterableCompanion[Seq] { - def fromIterator[T](it: Iterator[T]): Seq[T] = ??? -} - |