aboutsummaryrefslogtreecommitdiff
path: root/tests/pending/pos
diff options
context:
space:
mode:
Diffstat (limited to 'tests/pending/pos')
-rw-r--r--tests/pending/pos/boundspropagation.scala26
-rw-r--r--tests/pending/pos/subtyping.scala12
-rw-r--r--tests/pending/pos/t1672.scala36
-rw-r--r--tests/pending/pos/t2613.scala11
-rw-r--r--tests/pending/pos/t2795-new.scala19
-rw-r--r--tests/pending/pos/t2795-old.scala17
-rw-r--r--tests/pending/pos/t2945.scala12
-rw-r--r--tests/pending/pos/tailcall/t1672.scala10
-rw-r--r--tests/pending/pos/vararg-pattern.scala12
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)
-
-}
-
-