diff options
Diffstat (limited to 'tests/pending')
-rw-r--r-- | tests/pending/pos/boundspropagation.scala | 26 | ||||
-rw-r--r-- | tests/pending/pos/subtyping.scala | 12 | ||||
-rw-r--r-- | tests/pending/pos/t1672.scala | 36 | ||||
-rw-r--r-- | tests/pending/pos/t2613.scala | 11 | ||||
-rw-r--r-- | tests/pending/pos/t2795-new.scala | 19 | ||||
-rw-r--r-- | tests/pending/pos/t2795-old.scala | 17 | ||||
-rw-r--r-- | tests/pending/pos/t2945.scala | 12 | ||||
-rw-r--r-- | tests/pending/pos/tailcall/t1672.scala | 10 | ||||
-rw-r--r-- | tests/pending/pos/vararg-pattern.scala | 12 |
9 files changed, 0 insertions, 155 deletions
diff --git a/tests/pending/pos/boundspropagation.scala b/tests/pending/pos/boundspropagation.scala deleted file mode 100644 index 560d5416c..000000000 --- a/tests/pending/pos/boundspropagation.scala +++ /dev/null @@ -1,26 +0,0 @@ -// scalac fails for test2/3 -// dotc fails for all three -object test1 { - class Tree[-T >: Null] - - - def f(x: Any): Tree[Null] = x match { - case y: Tree[_] => y - } -} -object test2 { - class Tree[T >: Null] - - - def f(x: Any): Tree[Null] = x match { - case y: Tree[_] => y - } -} -object test3 { - class Tree[+T >: Null] - - - def f(x: Any): Tree[Null] = x match { - case y: Tree[_] => y - } -} diff --git a/tests/pending/pos/subtyping.scala b/tests/pending/pos/subtyping.scala deleted file mode 100644 index 8a3c2eb03..000000000 --- a/tests/pending/pos/subtyping.scala +++ /dev/null @@ -1,12 +0,0 @@ -object test { - - class B - class C - - def tag[T](x: T): String & T = ??? - - val x: Int & String = tag(0) - -} - - diff --git a/tests/pending/pos/t1672.scala b/tests/pending/pos/t1672.scala deleted file mode 100644 index 77a86db22..000000000 --- a/tests/pending/pos/t1672.scala +++ /dev/null @@ -1,36 +0,0 @@ -// moved to pending. -/* Tail calls translates this program to: - -final lazy object Test1672: Test1672$ = new Test1672$() - final class Test1672$() extends Object() { this: Test1672$.type => - @tailrec def bar: (x: Int)(y: Int)Nothing = { - def tailLabel2: ($this: Test1672$.type)(x: Int)(y: Int)Nothing = { - try { - throw new scala.package.RuntimeException() - } catch { - def $anonfun: (x$1: Throwable)Nothing = - x$1 match { - case _: scala.package.Throwable => - tailLabel2($this)(x)(y) - } - closure($anonfun) - } - } - tailLabel2(Test1672$.this)(x)(y) - } - } - -Note the tail call to taillabel2 from the local method $anonfun. -LambdaLift doe snot know how to deal wioth this. -*/ - -object Test1672 { - @annotation.tailrec - def bar(x: Int)(y: Int) : Nothing = { - try { - throw new RuntimeException - } catch { - case _: Throwable => bar(x)(y) - } - } -} diff --git a/tests/pending/pos/t2613.scala b/tests/pending/pos/t2613.scala deleted file mode 100644 index c234d4c0d..000000000 --- a/tests/pending/pos/t2613.scala +++ /dev/null @@ -1,11 +0,0 @@ -import language.existentials - -object Test { - class Row - - abstract class MyRelation [R <: Row, +Relation <: MyRelation[R, Relation]] - - type M = MyRelation[_ <: Row, _ <: MyRelation] - - val (x,y): (String, M) = null -} diff --git a/tests/pending/pos/t2795-new.scala b/tests/pending/pos/t2795-new.scala deleted file mode 100644 index e307133e0..000000000 --- a/tests/pending/pos/t2795-new.scala +++ /dev/null @@ -1,19 +0,0 @@ -package t1 - -import scala.reflect.{ClassTag, classTag} - -trait Element[T] { -} - -trait Config { - type T <: Element[T] - implicit val m: ClassTag[T] - // XXX Following works fine: - // type T <: Element[_] -} - -trait Transform { self: Config => - def processBlock(block: Array[T]): Unit = { - var X = new Array[T](1) - } -} diff --git a/tests/pending/pos/t2795-old.scala b/tests/pending/pos/t2795-old.scala deleted file mode 100644 index 935cb1f44..000000000 --- a/tests/pending/pos/t2795-old.scala +++ /dev/null @@ -1,17 +0,0 @@ -package t1 - -trait Element[T] { -} - -trait Config { - type T <: Element[T] - implicit val m: ClassManifest[T] - // XXX Following works fine: - // type T <: Element[_] -} - -trait Transform { self: Config => - def processBlock(block: Array[T]): Unit = { - var X = new Array[T](1) - } -} diff --git a/tests/pending/pos/t2945.scala b/tests/pending/pos/t2945.scala deleted file mode 100644 index 54f0a7724..000000000 --- a/tests/pending/pos/t2945.scala +++ /dev/null @@ -1,12 +0,0 @@ -object Foo { - def test(s: String) = { - (s: Seq[Char]) match { - case Seq('f', 'o', 'o', ' ', rest1: _*) => - rest1 - case Seq('b', 'a', 'r', ' ', ' ', rest2: _*) => - rest2 - case _ => - s - } - } -} diff --git a/tests/pending/pos/tailcall/t1672.scala b/tests/pending/pos/tailcall/t1672.scala deleted file mode 100644 index 9be5c6066..000000000 --- a/tests/pending/pos/tailcall/t1672.scala +++ /dev/null @@ -1,10 +0,0 @@ -object Test1672 { - @annotation.tailrec - def bar(x: Int)(y: Int) : Nothing = { - try { - throw new RuntimeException - } catch { - case _: Throwable => bar(x)(y) - } - } -} diff --git a/tests/pending/pos/vararg-pattern.scala b/tests/pending/pos/vararg-pattern.scala deleted file mode 100644 index 314d6460f..000000000 --- a/tests/pending/pos/vararg-pattern.scala +++ /dev/null @@ -1,12 +0,0 @@ -object Test { - - List(1, 2, 3, 4) match { - case List(1, 2, xs: _*) => - val ys: Seq[Int] = xs - println(ys) - } - val List(1, 2, x: _*) = List(1, 2, 3, 4) - -} - - |