Reorganize tests to account for new typing of projection

Tests with failed projections are moved to pos-scala2, which
was renamed from pos-special. Files in pos-scala2 are compiled
with -language:Scala2 option.

7 files changed, 0 insertions, 231 deletions

diff --git a/tests/pos/t1292.scala b/tests/pos/t1292.scala
deleted file mode 100644
index 8e69734e9..000000000
--- a/tests/pos/t1292.scala
+++ /dev/null
@@ -1,32 +0,0 @@
-trait Foo[T <: Foo[T, Enum], Enum <: Enumeration] {
-  type StV = Enum#Value
-  type Meta = MegaFoo[T, Enum]
-
-  type Slog = Enumeration
-
-  def getSingleton: Meta
-}
-
-trait MegaFoo[T <: Foo[T, Enum], Enum <: Enumeration] extends Foo[T, Enum] {
-  def doSomething(what: T, misc: StV, dog: Meta#Event) = None
-
-  abstract class Event
-  object Event
-
-  def stateEnumeration: Slog
-  def se2: Enum
-}
-
-object E extends Enumeration {
-  val A = Value
-  val B = Value
-}
-
-class RFoo extends Foo[RFoo, E.type] {
-  def getSingleton = MegaRFoo
-}
-
-object MegaRFoo extends RFoo with MegaFoo[RFoo, E.type] {
-  def stateEnumeration = E
-  def se2 = E
-}
diff --git a/tests/pos/t2994.scala b/tests/pos/t2994.scala
deleted file mode 100644
index c7421c42a..000000000
--- a/tests/pos/t2994.scala
+++ /dev/null
@@ -1,35 +0,0 @@
-object Naturals {
-  trait NAT {
-    type a[s[_ <: NAT] <: NAT, z <: NAT] <: NAT
-    type v = a[SUCC, ZERO]
-  }
-  final class ZERO extends NAT {
-    type a[s[_ <: NAT] <: NAT, z <: NAT] = z
-  }
-  final class SUCC[n <: NAT] extends NAT {
-    type a[s[_ <: NAT] <: NAT, z <: NAT] = s[n#a[s, z]]
-  }
-  type _0 = ZERO
-  type _1 = SUCC[_0]
-  type _2 = SUCC[_1]
-  type _3 = SUCC[_2]
-  type _4 = SUCC[_3]
-  type _5 = SUCC[_4]
-  type _6 = SUCC[_5]
-
-
-  // crashes scala-2.8.0 beta1
-  trait MUL[n <: NAT, m <: NAT] extends NAT {
-    trait curry[n[_, _], s[_]] { type f[z <: NAT] = n[s, z] }
-    type a[s[_ <: NAT] <: NAT, z <: NAT] = n#a[curry[m#a, s]#f, z]
-  }
-
-}
-
-object Test {
-  trait Bar[X[_]]
-  trait Baz[S[_] <: Bar[S]] {
-    type Apply[T]
-  }
-  trait Foo[V[_] <: Bar[V]] extends Bar[Baz[V]#Apply]
-}
diff --git a/tests/pos/t3568.scala b/tests/pos/t3568.scala
deleted file mode 100644
index 50f0cdb2e..000000000
--- a/tests/pos/t3568.scala
+++ /dev/null
@@ -1,46 +0,0 @@
-import scala.annotation._
-import scala.annotation.unchecked._
-import scala.collection._
-
-
-package object buffer {
-  val broken = new ArrayVec2() // commenting out this line causes the file to compile.
-
-  val works = Class.forName("buffer.ArrayVec2").newInstance().asInstanceOf[ArrayVec2]
-}
-
-package buffer {
-  object Main {
-    // ArrayVec2 can be compiled, instantiated and used.
-    def main(args: Array[String]): Unit = { println(works) }
-  }
-
-  trait ElemType { type Element; type Component <: ElemType }
-  trait Float1 extends ElemType { type Element = Float; type Component = Float1}
-  class Vec2 extends ElemType { type Element = Vec2;  type Component = Float1 }
-
-  abstract class BaseSeq[T <: ElemType, E]
-  extends IndexedSeq[E] with IndexedSeqOptimized[E, IndexedSeq[E]] {
-    def length = 1
-    def apply(i: Int) :E
-  }
-
-  abstract class GenericSeq[T <: ElemType] extends BaseSeq[T, T#Element]
-  trait DataArray[T <: ElemType] extends BaseSeq[T, T#Element]
-  trait DataView[T <: ElemType] extends BaseSeq[T, T#Element]
-  abstract class BaseFloat1 extends BaseSeq[Float1, Float]
-
-  class ArrayFloat1 extends BaseFloat1 with DataArray[Float1] {
-    def apply(i: Int) :Float = 0f
-  }
-
-  class ViewFloat1 extends BaseFloat1 with DataView[Float1] {
-    def apply(i: Int) :Float = 0f
-  }
-
-  class ArrayVec2(val backingSeq: ArrayFloat1)
-  extends GenericSeq[Vec2] with DataArray[Vec2] {
-    def this() = this(new ArrayFloat1)
-    def apply(i: Int) :Vec2 = null
-  }
-}
diff --git a/tests/pos/t3731.scala b/tests/pos/t3731.scala
deleted file mode 100644
index 7a3cbec0f..000000000
--- a/tests/pos/t3731.scala
+++ /dev/null
@@ -1,13 +0,0 @@
-object Test{
-  trait ZW[S]{type T}
-  def ZipWith[S, M <: ZW[S]]: M#T = sys.error("ZW")
-
-  // meh must be parameterised to force an asSeenFrom that
-  // duplicates the refinement in the TR's pre without updating its sym
-  def meh[A] = ZipWith[A, ZW[A]{type T=Stream[A]}]
-
-  meh[Int]: Stream[Int]
-}
-// debugging output in coevolveSym should say:
-// coevolved type T#11029 : Stream#3234[A#9228] to type T#11277 : Stream#3234[A#9227]
-// with Test.ZW#9219[A#9228]{type T#11029 = Stream#3234[A#9228]} -> Test.ZW#9219[A#9227]{type T#11277 = Stream#3234[A#9227]}
diff --git a/tests/pos/t3833.scala b/tests/pos/t3833.scala
deleted file mode 100644
index 2df658df1..000000000
--- a/tests/pos/t3833.scala
+++ /dev/null
@@ -1,26 +0,0 @@
-object Main {
-  def mkArray[T <: A](atype: Int) :T#AType = {
-    (atype match {
-      case 1 =>
-        new Array[Int](10)
-        // Decompiled code: return (Object[])new int[10];
-      case 2 =>
-        new Array[Float](10)
-    }).asInstanceOf[T#AType]
-  }
-
-  def main(args: Array[String]): Unit = {
-    println(mkArray[I](1))
-    //java.lang.ClassCastException: [I cannot be cast to [Ljava.lang.Object;
-  }
-}
-
-trait A {
-  type AType <: AnyRef
-}
-trait I extends A {
-  type AType = Array[Int]
-}
-trait F extends A {
-  type AType = Array[Float]
-}
diff --git a/tests/pos/t5070.scala b/tests/pos/t5070.scala
deleted file mode 100644
index c236b4f9e..000000000
--- a/tests/pos/t5070.scala
+++ /dev/null
@@ -1,18 +0,0 @@
-trait Web {
-  type LocalName
-}
-trait Companion1[A]
-trait WebDSL[W <: Web] {
-  trait LocalNameCompanion extends Companion1[W#LocalName] {
-    type A = String
-  }
-  implicit val LocalName: LocalNameCompanion
-}
-object Test {
-  def t[W <: Web](implicit webDSL: WebDSL[W]): Unit = {
-    import webDSL._
-    implicitly[LocalNameCompanion] // succeeds
-    implicitly[Companion1[W#LocalName]] // fails
-  }
-}
-
diff --git a/tests/pos/t5541.scala b/tests/pos/t5541.scala
deleted file mode 100644
index 54e2b6518..000000000
--- a/tests/pos/t5541.scala
+++ /dev/null
@@ -1,61 +0,0 @@
-package philips.adolf.paul
-
-trait Sys[ S <: Sys[ S ]] {
-  type Tx
-}
-
-object HASkipList {
-  sealed trait NodeLike[ S <: Sys[ S ], @specialized( Int ) A ] {
-    def size : Int
-    def key( i: Int ): A
-  }
-  sealed trait Node[ S <: Sys[ S ], @specialized( Int ) A ] extends NodeLike[ S, A ] {
-    def isLeaf   : Boolean
-    def isBranch : Boolean
-    def asBranch : Branch[ S, A ]
-  }
-  sealed trait BranchLike[ S <: Sys[ S ], @specialized( Int ) A ] extends NodeLike[ S, A ] {
-    def down( i: Int )( implicit tx: S#Tx ) : Node[ S, A ] = sys.error("")
-  }
-  sealed trait HeadOrBranch[ S <: Sys[ S ], A ]
-  final class Branch[ S <: Sys[ S ], @specialized( Int ) A ]()
-  extends BranchLike[ S, A ] with HeadOrBranch[ S, A ] with Node[ S, A ] {
-    def size:Int=1234
-    def key(i: Int):A=sys.error("TODO")
-    def isLeaf   : Boolean = false
-    def isBranch : Boolean = true
-    def asBranch : Branch[ S, A ] = this
-  }
-}
-sealed trait HASkipList[ S <: Sys[ S ], @specialized( Int ) A ]
-
-class HASkipListView[ S <: Sys[ S ], A ]( private val l: HASkipList[ S, A ])( implicit system: S ) {
-  import HASkipList.Node
-  private def buildBoxMap( n: Node[ S, A ], isRight: Boolean )( implicit tx: S#Tx ) : (Box, NodeBox) = {
-    val sz = n.size
-    val szm = sz - 1
-    val keys = IndexedSeq.tabulate( sz ) { i =>
-      val key     = n.key( i )
-      (key, if ( isRight && i == szm ) "M" else key.toString)
-    }
-    val chbo = if ( n.isLeaf ) None else {
-      val nb = n.asBranch
-      Some( IndexedSeq.tabulate( sz )( i => buildBoxMap( nb.down( i ), isRight && (i == szm) )))
-    }
-    val b    = NodeBox( n, keys, chbo.map( _.map( _._2 )))
-    val bb   = chbo match {
-      case Some( chbt ) =>
-        val chb  = chbt.map( _._1 )
-        val h    = Horiz( bs = chb )
-        Vert( bs = IndexedSeq[Box]( b, h ))
-      case None => b
-    }
-
-    (bb, b)
-  }
-
-  private trait Box
-  private case class Horiz( spacing: Int = 20, bs: IndexedSeq[ Box ]) extends Box
-  private final case class Vert( spacing: Int = 20, bs: IndexedSeq[ Box ]) extends Box
-  private final case class NodeBox( n: Node[ S, A ], keys: IndexedSeq[ (A, String) ], downs: Option[ IndexedSeq[ NodeBox ]]) extends Box
-}