summaryrefslogtreecommitdiff
path: root/test/pending/pos
diff options
context:
space:
mode:
authorPaul Phillips <paulp@improving.org>2012-10-04 20:28:56 -0700
committerPaul Phillips <paulp@improving.org>2012-10-04 21:28:45 -0700
commit5240da5073168424db50b969c1bbf7089d0a4242 (patch)
treedc2d8a1ce08200db02ff433f26a5dcacaab150e9 /test/pending/pos
parent6d6c182ae1b25919c573373ea27759041f579e4c (diff)
downloadscala-5240da5073168424db50b969c1bbf7089d0a4242.tar.gz
scala-5240da5073168424db50b969c1bbf7089d0a4242.tar.bz2
scala-5240da5073168424db50b969c1bbf7089d0a4242.zip
Moved a bunch of passing tests out of pending.
If the test names can be believed, this covers SI-294 SI-1751 SI-1782 SI-2318 SI-3897 SI-4649 SI-4786 SI-5293 SI-5399 SI-5418 SI-5606 SI-5610 SI-5639 Most of these were moved to pending in 1729b26500 due to failures of unknown cause. It was suggested they be brought back "as soon as possible" and that was three months ago; I suppose it's now possible. If they need to be disabled again, please move them to test/disabled, not to test/pending. "disabled" should mean a formerly passing test in limbo; "pending" tests document bugs which await fixing. I also removed some dead files in test/ - the files with a "cmds" extension are from a failed experiment and do not do anything.
Diffstat (limited to 'test/pending/pos')
-rw-r--r--test/pending/pos/exhaust_2.scala54
-rw-r--r--test/pending/pos/no-widen-locals.scala19
-rw-r--r--test/pending/pos/t1751.cmds3
-rw-r--r--test/pending/pos/t1751/A1_2.scala2
-rw-r--r--test/pending/pos/t1751/A2_1.scala2
-rw-r--r--test/pending/pos/t1751/SuiteClasses.java3
-rw-r--r--test/pending/pos/t1782.cmds2
-rw-r--r--test/pending/pos/t1782/Ann.java3
-rw-r--r--test/pending/pos/t1782/Days.java3
-rw-r--r--test/pending/pos/t1782/ImplementedBy.java3
-rw-r--r--test/pending/pos/t1782/Test_1.scala16
-rw-r--r--test/pending/pos/t1832.scala10
-rw-r--r--test/pending/pos/t294.cmds3
-rw-r--r--test/pending/pos/t294/Ann.java3
-rw-r--r--test/pending/pos/t294/Ann2.java3
-rw-r--r--test/pending/pos/t294/Test_1.scala7
-rw-r--r--test/pending/pos/t294/Test_2.scala1
-rw-r--r--test/pending/pos/t4649.flags1
-rw-r--r--test/pending/pos/t4649.scala6
-rw-r--r--test/pending/pos/t4717.scala7
-rw-r--r--test/pending/pos/t4786.scala24
-rw-r--r--test/pending/pos/t5259.scala14
-rw-r--r--test/pending/pos/t5399.scala8
-rw-r--r--test/pending/pos/t5399a.scala19
-rw-r--r--test/pending/pos/t5606.scala9
-rw-r--r--test/pending/pos/t5626.scala12
-rw-r--r--test/pending/pos/t5639/Bar.scala7
-rw-r--r--test/pending/pos/t5639/Foo.scala7
-rw-r--r--test/pending/pos/t5654.scala4
-rw-r--r--test/pending/pos/z1720.scala16
30 files changed, 0 insertions, 271 deletions
diff --git a/test/pending/pos/exhaust_2.scala b/test/pending/pos/exhaust_2.scala
deleted file mode 100644
index 4f4e47c43b..0000000000
--- a/test/pending/pos/exhaust_2.scala
+++ /dev/null
@@ -1,54 +0,0 @@
-object ExhaustivityWarnBugReportMinimal {
- //sealed is needed for the warning
- sealed trait FoundNode[T]/*presence of parameters is irrelevant*/
- // This also causes a warning:
- // sealed abstract class FoundNode[T]/*presence of parameters is irrelevant*/
- case class FoundFilter[T](/*presence of parameters is irrelevant*/) extends FoundNode[T]
- case class FoundTypeCase[T](/*presence of parameters is irrelevant*/) extends FoundNode[T]
- val f: Some[_] = ???
- f match {
- case x: Some[t] => //no warning
- }
- //With these variants, no warnings:
- //val v: (Some[Int], FoundNode[_]) = (???, ???)
- //val v: (Some[AnyRef], FoundNode[_]) = (???, ???)
- //val v: (Some[String], FoundNode[_]) = (???, ???)
-
- val v: (Some[_], FoundNode[_]) = (???, ???)
- //Warning here:
- v match {
- case (x: Some[t], _: FoundNode[_]) =>
- }
- v match {
- case (x: Some[t], _) =>
- }
-
- v match {
- case (x: Some[_], _) =>
- }
- case class Foo[T]()
-
- val vp: (Foo[_], FoundNode[_]) = (???, ???)
- vp match {
- case (x: Foo[_], _) =>
- }
-
- //No warning here:
- v match {
- case (Some(y), _) =>
- }
-
- v match {
- case (x, _) =>
- }
-
- val v2: (Some[_], Int) = (???, ???)
- v2 match {
- case (x: Some[t], _) =>
- }
-
- val v3: (Option[_], FoundNode[_]) = (???, ???)
- v match {
- case (x: Option[_], _) =>
- }
-}
diff --git a/test/pending/pos/no-widen-locals.scala b/test/pending/pos/no-widen-locals.scala
deleted file mode 100644
index 013e63f0a2..0000000000
--- a/test/pending/pos/no-widen-locals.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-// Worked from r23262 until that was reverted somewhere
-// around r25016.
-import annotation.switch
-
-object Test {
- def f(x: Int) = {
- val X1 = 5
- val X2 = 10
- val X3 = 15
- val X4 = 20
-
- (x: @switch) match {
- case X1 => 1
- case X2 => 2
- case X3 => 3
- case X4 => 4
- }
- }
-}
diff --git a/test/pending/pos/t1751.cmds b/test/pending/pos/t1751.cmds
deleted file mode 100644
index d4a4898ffd..0000000000
--- a/test/pending/pos/t1751.cmds
+++ /dev/null
@@ -1,3 +0,0 @@
-javac SuiteClasses.java
-scalac A2_1.scala
-scalac A1_2.scala
diff --git a/test/pending/pos/t1751/A1_2.scala b/test/pending/pos/t1751/A1_2.scala
deleted file mode 100644
index 354d5eecd0..0000000000
--- a/test/pending/pos/t1751/A1_2.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-@SuiteClasses(Array(classOf[A2]))
-class A1
diff --git a/test/pending/pos/t1751/A2_1.scala b/test/pending/pos/t1751/A2_1.scala
deleted file mode 100644
index c768062e43..0000000000
--- a/test/pending/pos/t1751/A2_1.scala
+++ /dev/null
@@ -1,2 +0,0 @@
-@SuiteClasses(Array())
-class A2
diff --git a/test/pending/pos/t1751/SuiteClasses.java b/test/pending/pos/t1751/SuiteClasses.java
deleted file mode 100644
index a415e4f572..0000000000
--- a/test/pending/pos/t1751/SuiteClasses.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface SuiteClasses {
- public Class<?>[] value();
-}
diff --git a/test/pending/pos/t1782.cmds b/test/pending/pos/t1782.cmds
deleted file mode 100644
index 61f3d3788e..0000000000
--- a/test/pending/pos/t1782.cmds
+++ /dev/null
@@ -1,2 +0,0 @@
-javac Ann.java Days.java ImplementedBy.java
-scalac Test_1.scala
diff --git a/test/pending/pos/t1782/Ann.java b/test/pending/pos/t1782/Ann.java
deleted file mode 100644
index 0dcfbd2ed7..0000000000
--- a/test/pending/pos/t1782/Ann.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface Ann {
- public Days value();
-}
diff --git a/test/pending/pos/t1782/Days.java b/test/pending/pos/t1782/Days.java
deleted file mode 100644
index 203a87b1c2..0000000000
--- a/test/pending/pos/t1782/Days.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public enum Days {
- Friday, Sunday
-}
diff --git a/test/pending/pos/t1782/ImplementedBy.java b/test/pending/pos/t1782/ImplementedBy.java
deleted file mode 100644
index 6aa8b4fa9e..0000000000
--- a/test/pending/pos/t1782/ImplementedBy.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface ImplementedBy {
- public Class<?> value();
-}
diff --git a/test/pending/pos/t1782/Test_1.scala b/test/pending/pos/t1782/Test_1.scala
deleted file mode 100644
index 6467a74c29..0000000000
--- a/test/pending/pos/t1782/Test_1.scala
+++ /dev/null
@@ -1,16 +0,0 @@
-@ImplementedBy(classOf[Provider])
-trait Service {
- def someMethod()
-}
-
-class Provider
- extends Service
-{
- // test enumeration java annotations
- @Ann(Days.Friday) def someMethod() = ()
-
- // #2103
- @scala.beans.BeanProperty
- @Ann(value = Days.Sunday)
- val t2103 = "test"
-}
diff --git a/test/pending/pos/t1832.scala b/test/pending/pos/t1832.scala
deleted file mode 100644
index bca863f4bd..0000000000
--- a/test/pending/pos/t1832.scala
+++ /dev/null
@@ -1,10 +0,0 @@
-// Edit by paulp: reduced.
-trait Cloning {
- trait Foo
- def fn(g: Int => Unit): Foo
-
- implicit def mkStar(i: Int) = new { def *(a: Foo): Foo = null }
-
- val pool1 = 4 * fn { case i => i * 2 }
- val pool2 = 4 * fn { case i: Int => i * 2 }
-}
diff --git a/test/pending/pos/t294.cmds b/test/pending/pos/t294.cmds
deleted file mode 100644
index 62c9a5a068..0000000000
--- a/test/pending/pos/t294.cmds
+++ /dev/null
@@ -1,3 +0,0 @@
-javac Ann.java Ann2.java
-scalac Test_1.scala
-scalac Test_2.scala
diff --git a/test/pending/pos/t294/Ann.java b/test/pending/pos/t294/Ann.java
deleted file mode 100644
index 934ca46297..0000000000
--- a/test/pending/pos/t294/Ann.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface Ann {
- public Ann2[] nested();
-}
diff --git a/test/pending/pos/t294/Ann2.java b/test/pending/pos/t294/Ann2.java
deleted file mode 100644
index 025b79e794..0000000000
--- a/test/pending/pos/t294/Ann2.java
+++ /dev/null
@@ -1,3 +0,0 @@
-public @interface Ann2 {
- public int value();
-}
diff --git a/test/pending/pos/t294/Test_1.scala b/test/pending/pos/t294/Test_1.scala
deleted file mode 100644
index ff1f34b10e..0000000000
--- a/test/pending/pos/t294/Test_1.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-// also test pickling of java annotations; Test_2.scala will
-// read this class file
-@Ann(nested = Array(new Ann2(10))) class Test {
- @Ann2(100) var ctx: Object = _
- @Ann(nested = Array()) def foo = 10
- @Ann(nested = Array(new Ann2(10), new Ann2(23))) val bam = -3
-}
diff --git a/test/pending/pos/t294/Test_2.scala b/test/pending/pos/t294/Test_2.scala
deleted file mode 100644
index 9fb1c6e175..0000000000
--- a/test/pending/pos/t294/Test_2.scala
+++ /dev/null
@@ -1 +0,0 @@
-class Test2 extends Test
diff --git a/test/pending/pos/t4649.flags b/test/pending/pos/t4649.flags
deleted file mode 100644
index e8fb65d50c..0000000000
--- a/test/pending/pos/t4649.flags
+++ /dev/null
@@ -1 +0,0 @@
--Xfatal-warnings \ No newline at end of file
diff --git a/test/pending/pos/t4649.scala b/test/pending/pos/t4649.scala
deleted file mode 100644
index 0d6caa8d7a..0000000000
--- a/test/pending/pos/t4649.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-object Test {
- // @annotation.tailrec
- def lazyFilter[E](s: Stream[E], p: E => Boolean): Stream[E] = s match {
- case h #:: t => if (p(h)) h #:: lazyFilter(t, p) else lazyFilter(t, p)
- }
-}
diff --git a/test/pending/pos/t4717.scala b/test/pending/pos/t4717.scala
deleted file mode 100644
index 7eaa3dd487..0000000000
--- a/test/pending/pos/t4717.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-trait Bounds[@specialized A] {
- // okay without `>: A`
- def x[B >: A]: Unit = new Bounds[B] {
- lazy val it = ??? // def or val okay
- it
- }
-} \ No newline at end of file
diff --git a/test/pending/pos/t4786.scala b/test/pending/pos/t4786.scala
deleted file mode 100644
index f0579142b8..0000000000
--- a/test/pending/pos/t4786.scala
+++ /dev/null
@@ -1,24 +0,0 @@
-trait Matrix[@specialized A, Repr[C] <: Matrix[C, Repr]] { // crash goes away if @specialize is removed
- def duplicate(mb: MatrixBuilder[A, Repr]): Repr[A] = {
- mb.zeros
- }
-}
-trait DenseMatrix[@specialized A] extends Matrix[A, DenseMatrix]
-trait DenseMatrixFlt extends DenseMatrix[Float]
-
-trait MatrixBuilder[@specialized A, Repr[C] <: Matrix[C, Repr]] {
- def zeros: Repr[A]
-}
-object DenseFloatBuilder extends MatrixBuilder[Float, DenseMatrix] {
- val zeros = new Object with DenseMatrixFlt
- // Note:
- // - in 2.9 crash goes away if the explicit type "DenseMatrixFlt" is assigned to "zeros"
- // - in 2.9 crash goes away if DenseMatrixFlt is a class instead of a trait:
- // val zeros = new DenseMatrixFlt
-}
-
-object Test extends App {
- val m1 = DenseFloatBuilder.zeros // in 2.9 crash goes away if explicit type "DenseMatrixFlt" is assigned to m1
- val m2 = m1.duplicate(DenseFloatBuilder)
-}
-
diff --git a/test/pending/pos/t5259.scala b/test/pending/pos/t5259.scala
deleted file mode 100644
index 317e28a9dc..0000000000
--- a/test/pending/pos/t5259.scala
+++ /dev/null
@@ -1,14 +0,0 @@
-object DefaultArgBogusTypeMismatch {
-
- class A[T]
- class B {
- type T = this.type
- def m(implicit a : A[T] = new A[T]) = a
- }
-
- def newB = new B
- val a1 = newB.m // Bogus type mismatch
-
- val stableB = new B
- val a2 = stableB.m // OK
-}
diff --git a/test/pending/pos/t5399.scala b/test/pending/pos/t5399.scala
deleted file mode 100644
index 89caba39c1..0000000000
--- a/test/pending/pos/t5399.scala
+++ /dev/null
@@ -1,8 +0,0 @@
-class Test {
- class A[T]
- class B[T](val a: A[T])
-
- case class CaseClass[T](x: T)
-
- def break(existB: B[_]) = CaseClass(existB.a) match { case CaseClass(_) => }
-}
diff --git a/test/pending/pos/t5399a.scala b/test/pending/pos/t5399a.scala
deleted file mode 100644
index 4ebd85ad03..0000000000
--- a/test/pending/pos/t5399a.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-class Foo {
- trait Init[T]
- class ScopedKey[T] extends Init[T]
-
- trait Setting[T] {
- val key: ScopedKey[T]
- }
-
- case class ScopedKey1[T](val foo: Init[T]) extends ScopedKey[T]
-
- val scalaHome: Setting[Option[String]] = null
- val scalaVersion: Setting[String] = null
-
- def testPatternMatch(s: Setting[_]) {
- s.key match {
- case ScopedKey1(scalaHome.key | scalaVersion.key) => ()
- }
- }
-}
diff --git a/test/pending/pos/t5606.scala b/test/pending/pos/t5606.scala
deleted file mode 100644
index 2545271e32..0000000000
--- a/test/pending/pos/t5606.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-
-
-
-
-
-
-
-
-case class CaseTest[_](someData:String)
diff --git a/test/pending/pos/t5626.scala b/test/pending/pos/t5626.scala
deleted file mode 100644
index 7ab3881827..0000000000
--- a/test/pending/pos/t5626.scala
+++ /dev/null
@@ -1,12 +0,0 @@
-object Test {
- val blob0 = new {
- case class Foo(i : Int)
- }
- val foo0 = blob0.Foo(22)
-
- val blob1 = new {
- class Foo(i: Int)
- object Foo { def apply(i: Int): Foo = new Foo(i) }
- }
- val foo1 = blob1.Foo(22)
-}
diff --git a/test/pending/pos/t5639/Bar.scala b/test/pending/pos/t5639/Bar.scala
deleted file mode 100644
index f577500acd..0000000000
--- a/test/pending/pos/t5639/Bar.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-package pack.age
-
-import pack.age.Implicits._
-
-object Quux {
- def baz : Baz = 1
-}
diff --git a/test/pending/pos/t5639/Foo.scala b/test/pending/pos/t5639/Foo.scala
deleted file mode 100644
index 6602150661..0000000000
--- a/test/pending/pos/t5639/Foo.scala
+++ /dev/null
@@ -1,7 +0,0 @@
-package pack.age
-
-class Baz
-
-object Implicits {
- implicit def Baz(n: Int): Baz = new Baz
-}
diff --git a/test/pending/pos/t5654.scala b/test/pending/pos/t5654.scala
deleted file mode 100644
index eb711a5f37..0000000000
--- a/test/pending/pos/t5654.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-case class Bomb(a: Array[_])
-case class Bomb2(a: Array[T] forSome { type T })
-class Okay1(a: Array[_])
-case class Okay2(s: Seq[_]) \ No newline at end of file
diff --git a/test/pending/pos/z1720.scala b/test/pending/pos/z1720.scala
deleted file mode 100644
index 6050f3ff88..0000000000
--- a/test/pending/pos/z1720.scala
+++ /dev/null
@@ -1,16 +0,0 @@
-package test
-
-class Thing {
- def info: Info[this.type] = InfoRepository.getInfo(this)
- def info2: Info[this.type] = {
- def self: this.type = this
- InfoRepository.getInfo(self)
- }
-}
-
-trait Info[T]
-case class InfoImpl[T](thing: T) extends Info[T]
-
-object InfoRepository {
- def getInfo(t: Thing): Info[t.type] = InfoImpl(t)
-} \ No newline at end of file