summaryrefslogtreecommitdiff
path: root/test/pending/pos
diff options
context:
space:
mode:
Diffstat (limited to 'test/pending/pos')
-rw-r--r--test/pending/pos/t0644.scala11
-rw-r--r--test/pending/pos/t0816.scala12
-rw-r--r--test/pending/pos/t1035.scala32
-rw-r--r--test/pending/pos/t1053.scala6
-rw-r--r--test/pending/pos/t1380/gnujaxp.jar.desired.sha11
-rw-r--r--test/pending/pos/t1380/hallo.scala3
-rw-r--r--test/pending/pos/t1659.scala4
-rw-r--r--test/pending/pos/t1836/J.java1
-rw-r--r--test/pending/pos/t1836/S.scala1
-rw-r--r--test/pending/pos/t1996.scala19
-rw-r--r--test/pending/pos/t2060.scala28
-rw-r--r--test/pending/pos/t2610.scala17
-rw-r--r--test/pending/pos/t2619.scala80
-rw-r--r--test/pending/pos/t2660.scala25
-rw-r--r--test/pending/pos/t2691.scala9
-rw-r--r--test/pending/pos/t425.scala11
-rw-r--r--test/pending/pos/ticket2251.scala25
17 files changed, 4 insertions, 281 deletions
diff --git a/test/pending/pos/t0644.scala b/test/pending/pos/t0644.scala
deleted file mode 100644
index 5ad12c3632..0000000000
--- a/test/pending/pos/t0644.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-class A {
- def appply(): Int = 0
- def update(n: Int) {}
-}
-
-class B extends A {
- this()
- this()=1
- super()
- super()=1
-}
diff --git a/test/pending/pos/t0816.scala b/test/pending/pos/t0816.scala
deleted file mode 100644
index 44282ea872..0000000000
--- a/test/pending/pos/t0816.scala
+++ /dev/null
@@ -1,12 +0,0 @@
-abstract class Atest(val data: String)
-
-case class Btest(override val data: String, val b: boolean) extends Atest(data)
-
-case class Ctest(override val data: String) extends Btest(data, true)
-
-class testCaseClass {
- def test(x: Atest) = x match {
- case Ctest(data) => Console.println("C")
- case Btest(data, b) => Console.println("B")
- }
-}
diff --git a/test/pending/pos/t1035.scala b/test/pending/pos/t1035.scala
deleted file mode 100644
index a280a415d2..0000000000
--- a/test/pending/pos/t1035.scala
+++ /dev/null
@@ -1,32 +0,0 @@
-//A fatal error or Scala compiler
-// Scala compiler version 2.7.1-final -- (c) 2002-2010 LAMP/EPFL
-// Carlos Loria cloria@artinsoft.com
-// 7/10/2008
-
-class A {
- var name:String = _
- def getName() = name
- def this(name:String, age:Int){this();this.name=name}
-
-}
-
-class B(name:String) extends A(name,0){
-}
-
-class D {
-
- object A {
- def unapply(p:A) = Some(p.getName)
- }
-
- object B {
- def unapply(p:B) = Some(p.getName)
- }
- def foo(p:Any) = p match {
- case B(n) => println("B")
- case A(n) => println("A")
-
-
- }
-
-}
diff --git a/test/pending/pos/t1053.scala b/test/pending/pos/t1053.scala
deleted file mode 100644
index 1d4dfb637e..0000000000
--- a/test/pending/pos/t1053.scala
+++ /dev/null
@@ -1,6 +0,0 @@
-trait T[A] { trait U { type W = A; val x = 3 } }
-
-object Test {
- val x : ({ type V = T[this.type] })#V = null
- val y = new x.U { }
-}
diff --git a/test/pending/pos/t1380/gnujaxp.jar.desired.sha1 b/test/pending/pos/t1380/gnujaxp.jar.desired.sha1
new file mode 100644
index 0000000000..c155c2aaa2
--- /dev/null
+++ b/test/pending/pos/t1380/gnujaxp.jar.desired.sha1
@@ -0,0 +1 @@
+ee000286d00c5209d5644462c1cfea87fc8b1342 ?gnujaxp.jar
diff --git a/test/pending/pos/t1380/hallo.scala b/test/pending/pos/t1380/hallo.scala
new file mode 100644
index 0000000000..27ecd9fb8b
--- /dev/null
+++ b/test/pending/pos/t1380/hallo.scala
@@ -0,0 +1,3 @@
+object hallo {
+ def main(args:Array[String]) = println("hallo")
+}
diff --git a/test/pending/pos/t1659.scala b/test/pending/pos/t1659.scala
deleted file mode 100644
index 10470d66f8..0000000000
--- a/test/pending/pos/t1659.scala
+++ /dev/null
@@ -1,4 +0,0 @@
-trait Y { type X }
-trait W { def u[A](v : Y { type X = A }) : Unit }
-class Z extends W { def u[A](v : Y { type X = A }) = null }
-
diff --git a/test/pending/pos/t1836/J.java b/test/pending/pos/t1836/J.java
deleted file mode 100644
index a009a59e21..0000000000
--- a/test/pending/pos/t1836/J.java
+++ /dev/null
@@ -1 +0,0 @@
-public abstract class J<T> { protected J(T id) { } }
diff --git a/test/pending/pos/t1836/S.scala b/test/pending/pos/t1836/S.scala
deleted file mode 100644
index 88ce1063e9..0000000000
--- a/test/pending/pos/t1836/S.scala
+++ /dev/null
@@ -1 +0,0 @@
-class S extends J("")
diff --git a/test/pending/pos/t1996.scala b/test/pending/pos/t1996.scala
deleted file mode 100644
index 2730128196..0000000000
--- a/test/pending/pos/t1996.scala
+++ /dev/null
@@ -1,19 +0,0 @@
-object forbug {
- val l1 = List(List(ValDef(new A)), List(ValDef(new A)))
- for ((e1s, e2s) <- l1.zip(l1);
- (e1, e2) <- e1s.zip(e2s)) {
- e1.a.doSome(20)
-// ()
- }
-}
-
-
-class A {
- def doSome(a: Int): this.type = {
- println(a)
- this
- }
-}
-
-case class ValDef(a: A)
-
diff --git a/test/pending/pos/t2060.scala b/test/pending/pos/t2060.scala
deleted file mode 100644
index 3f47259849..0000000000
--- a/test/pending/pos/t2060.scala
+++ /dev/null
@@ -1,28 +0,0 @@
-object Test {
- class Op[I];
- class IntOp extends Op[Int];
-
- class Rich(x : Double) {
- def + (op : IntOp) = op;
- def + [I](op : Op[I]) = op;
- def plus [I](op : Op[I]) = op;
- }
-
- implicit def iToRich(x : Double) =
- new Rich(x);
-
- // fails to compile
- val failure = 1.0 + new Op[Int];
-
- // works as expected --
- // problem isn't in adding new "+"
- val a = 1.0 + new IntOp;
-
- // works as expected --
- // problem isn't in binding type variable I
- val b = 1.0 plus new Op[Int];
-
- // works as expected --
- // problem isn't in using Rich.+[I](op : Op[I])
- val c = iToRich(1.0) + new Op[Int];
-}
diff --git a/test/pending/pos/t2610.scala b/test/pending/pos/t2610.scala
deleted file mode 100644
index 8dd4cde66e..0000000000
--- a/test/pending/pos/t2610.scala
+++ /dev/null
@@ -1,17 +0,0 @@
-package mada; package defects; package tests
-
-package object bbb {
- def bar = ()
- aaa.foo // value foo is not a member of package mada.defects.tests.aaa
-}
-
-package object aaa {
- def foo = ()
-}
-
-/* compiles successfully if placed here..
-package object bbb {
- def bar = ()
- aaa.foo // value foo is not a member of package mada.defects.tests.aaa
-}
-*/ \ No newline at end of file
diff --git a/test/pending/pos/t2619.scala b/test/pending/pos/t2619.scala
deleted file mode 100644
index 565bc9572b..0000000000
--- a/test/pending/pos/t2619.scala
+++ /dev/null
@@ -1,80 +0,0 @@
-abstract class F {
- final def apply(x: Int): AnyRef = null
-}
-abstract class AbstractModule {
- def as: List[AnyRef]
- def ms: List[AbstractModule]
- def fs: List[F] = Nil
- def rs(x: Int): List[AnyRef] = fs.map(_(x))
-}
-abstract class ModuleType1 extends AbstractModule {}
-abstract class ModuleType2 extends AbstractModule {}
-
-object ModuleAE extends ModuleType1 {
- def as = Nil
- def ms = Nil
-}
-object ModuleAF extends ModuleType2 {
- def as = Nil
- def ms = List(ModuleAE)
-}
-object ModuleAG extends ModuleType1 {
- def as = List("")
- def ms = Nil
-}
-object ModuleAI extends ModuleType1 {
- def as = Nil
- def ms = List(ModuleAE)
-}
-object ModuleAK extends ModuleType2 {
- def as = Nil
- def ms = List(ModuleAF)
-}
-object ModuleAL extends ModuleType1 {
- def as = Nil
- def ms = List(
- ModuleAG,
- ModuleAI
- )
-}
-object ModuleAM extends ModuleType1 {
- def as = Nil
- def ms = List(
- ModuleAL,
- ModuleAE
- ) ::: List(ModuleAK)
-}
-object ModuleBE extends ModuleType1 {
- def as = Nil
- def ms = Nil
-}
-object ModuleBF extends ModuleType2 {
- def as = Nil
- def ms = List(ModuleBE)
-}
-object ModuleBG extends ModuleType1 {
- def as = List("")
- def ms = Nil
-}
-object ModuleBI extends ModuleType1 {
- def as = Nil
- def ms = List(ModuleBE)
-}
-object ModuleBK extends ModuleType2 {
- def as = Nil
- def ms = List(ModuleBF)
-}
-object ModuleBL extends ModuleType1 {
- def as = Nil
- def ms = List(
- ModuleBG,
- ModuleBI
- )
-}
-object ModuleBM extends ModuleType1 {
- def as = Nil
- def ms = List(
- ModuleBL,
- ModuleBE
- ) ::: List(ModuleBK)
-} \ No newline at end of file
diff --git a/test/pending/pos/t2660.scala b/test/pending/pos/t2660.scala
deleted file mode 100644
index b1908b201b..0000000000
--- a/test/pending/pos/t2660.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-package hoho
-
-class G
-
-class H extends G
-
-class A[T](x: T) {
-
- def this(y: G, z: T) = {
- this(z)
- print(1)
- }
-
- def this(z: H, h: T) = {
- this(h)
- print(2)
- }
-}
-
-object T {
- def main(args: Array[String]) {
- implicit def g2h(g: G): H = new H
- new A(new H, 23)
- }
-} \ No newline at end of file
diff --git a/test/pending/pos/t2691.scala b/test/pending/pos/t2691.scala
deleted file mode 100644
index ba2e52f1fe..0000000000
--- a/test/pending/pos/t2691.scala
+++ /dev/null
@@ -1,9 +0,0 @@
-object Breakdown {
- def unapplySeq(x: Int): Some[List[String]] = Some(List("", "there"))
-}
-object Test {
- 42 match {
- case Breakdown("") => // needed to trigger bug
- case Breakdown("", who) => println ("hello " + who)
- }
-} \ No newline at end of file
diff --git a/test/pending/pos/t425.scala b/test/pending/pos/t425.scala
deleted file mode 100644
index e50c50ac35..0000000000
--- a/test/pending/pos/t425.scala
+++ /dev/null
@@ -1,11 +0,0 @@
-object Temp{
- case class A(x: Int)
- case class B(override val x: Int, y: Double) extends A(x)
-
- val b: A = B(5, 3.3)
- b match {
- case B(x, y) => Console.println(y)
- case A(x) => Console.println(x)
- }
-}
-
diff --git a/test/pending/pos/ticket2251.scala b/test/pending/pos/ticket2251.scala
deleted file mode 100644
index 7b6efb0ea0..0000000000
--- a/test/pending/pos/ticket2251.scala
+++ /dev/null
@@ -1,25 +0,0 @@
-
-// Martin: I am not sure this is a solvable problem right now. I'll leave it in pending.
-// derived from pos/bug1001
-class A
-trait B[T <: B[T]] extends A
-class C extends B[C]
-class D extends B[D]
-
-class Data {
- // force computing lub of C and D (printLubs enabled:)
-
-/*
-lub of List(D, C) at depth 2
- lub of List(D, C) at depth 1
- lub of List(D, C) at depth 0
- lub of List(D, C) is A
- lub of List(D, C) is B[_1] forSome { type _1 >: D with C <: A }
-lub of List(D, C) is B[_2] forSome { type _2 >: D with C{} <: B[_1] forSome { type _1 >: D with C{} <: A } }
-*/
-// --> result = WRONG
-
- // should be: B[X] forSome {type X <: B[X]} -- can this be done automatically? for now, just detect f-bounded polymorphism and fall back to more coarse approximation
-
- val data: List[A] = List(new C, new D)
-}