From b5b3ce4df69c6dd19506cd332a97c1ad6660e4a5 Mon Sep 17 00:00:00 2001 From: michelou Date: Thu, 5 Apr 2007 12:59:40 +0000 Subject: 4-digits numbering --- test/files/pos/304.scala | 5 ----- test/files/pos/bug0002.scala | 6 ++++++ test/files/pos/bug0017.scala | 21 +++++++++++++++++++++ test/files/pos/bug0020.scala | 8 ++++++++ test/files/pos/bug0029.scala | 3 +++ test/files/pos/bug0030.scala | 9 +++++++++ test/files/pos/bug0031.scala | 29 +++++++++++++++++++++++++++++ test/files/pos/bug0032.scala | 17 +++++++++++++++++ test/files/pos/bug0036.scala | 8 ++++++++ test/files/pos/bug0039.scala | 6 ++++++ test/files/pos/bug0049.scala | 3 +++ test/files/pos/bug0053.scala | 7 +++++++ test/files/pos/bug0054.scala | 4 ++++ test/files/pos/bug0061.scala | 10 ++++++++++ test/files/pos/bug0064.scala | 6 ++++++ test/files/pos/bug0066.scala | 7 +++++++ test/files/pos/bug0068.scala | 6 ++++++ test/files/pos/bug0069.scala | 11 +++++++++++ test/files/pos/bug0076.scala | 9 +++++++++ test/files/pos/bug0081.scala | 4 ++++ test/files/pos/bug0082.scala | 18 ++++++++++++++++++ test/files/pos/bug0085.scala | 8 ++++++++ test/files/pos/bug0091.scala | 6 ++++++ test/files/pos/bug0093.scala | 4 ++++ test/files/pos/bug0123.scala | 3 +++ test/files/pos/bug0204.scala | 7 +++++++ test/files/pos/bug0304.scala | 5 +++++ test/files/pos/bug0325.scala | 4 ++++ test/files/pos/bug082.scala | 18 ------------------ test/files/pos/bug123.scala | 3 --- test/files/pos/bug17.scala | 21 --------------------- test/files/pos/bug2.scala | 6 ------ test/files/pos/bug20.scala | 8 -------- test/files/pos/bug204.scala | 7 ------- test/files/pos/bug29.scala | 3 --- test/files/pos/bug30.scala | 9 --------- test/files/pos/bug31.scala | 29 ----------------------------- test/files/pos/bug32.scala | 17 ----------------- test/files/pos/bug325.scala | 4 ---- test/files/pos/bug36.scala | 8 -------- test/files/pos/bug39.scala | 6 ------ test/files/pos/bug49.scala | 3 --- test/files/pos/bug53.scala | 7 ------- test/files/pos/bug54.scala | 4 ---- test/files/pos/bug61.scala | 10 ---------- test/files/pos/bug64.scala | 6 ------ test/files/pos/bug66.scala | 7 ------- test/files/pos/bug68.scala | 6 ------ test/files/pos/bug69.scala | 11 ----------- test/files/pos/bug76.scala | 9 --------- test/files/pos/bug81.scala | 4 ---- test/files/pos/bug85.scala | 8 -------- test/files/pos/bug91.scala | 6 ------ test/files/pos/bug93.scala | 4 ---- 54 files changed, 229 insertions(+), 229 deletions(-) delete mode 100644 test/files/pos/304.scala create mode 100644 test/files/pos/bug0002.scala create mode 100644 test/files/pos/bug0017.scala create mode 100644 test/files/pos/bug0020.scala create mode 100644 test/files/pos/bug0029.scala create mode 100644 test/files/pos/bug0030.scala create mode 100644 test/files/pos/bug0031.scala create mode 100644 test/files/pos/bug0032.scala create mode 100644 test/files/pos/bug0036.scala create mode 100644 test/files/pos/bug0039.scala create mode 100644 test/files/pos/bug0049.scala create mode 100644 test/files/pos/bug0053.scala create mode 100644 test/files/pos/bug0054.scala create mode 100644 test/files/pos/bug0061.scala create mode 100644 test/files/pos/bug0064.scala create mode 100644 test/files/pos/bug0066.scala create mode 100644 test/files/pos/bug0068.scala create mode 100644 test/files/pos/bug0069.scala create mode 100644 test/files/pos/bug0076.scala create mode 100644 test/files/pos/bug0081.scala create mode 100644 test/files/pos/bug0082.scala create mode 100644 test/files/pos/bug0085.scala create mode 100644 test/files/pos/bug0091.scala create mode 100644 test/files/pos/bug0093.scala create mode 100644 test/files/pos/bug0123.scala create mode 100644 test/files/pos/bug0204.scala create mode 100644 test/files/pos/bug0304.scala create mode 100644 test/files/pos/bug0325.scala delete mode 100644 test/files/pos/bug082.scala delete mode 100644 test/files/pos/bug123.scala delete mode 100644 test/files/pos/bug17.scala delete mode 100644 test/files/pos/bug2.scala delete mode 100644 test/files/pos/bug20.scala delete mode 100644 test/files/pos/bug204.scala delete mode 100644 test/files/pos/bug29.scala delete mode 100644 test/files/pos/bug30.scala delete mode 100644 test/files/pos/bug31.scala delete mode 100644 test/files/pos/bug32.scala delete mode 100644 test/files/pos/bug325.scala delete mode 100644 test/files/pos/bug36.scala delete mode 100644 test/files/pos/bug39.scala delete mode 100644 test/files/pos/bug49.scala delete mode 100644 test/files/pos/bug53.scala delete mode 100644 test/files/pos/bug54.scala delete mode 100644 test/files/pos/bug61.scala delete mode 100644 test/files/pos/bug64.scala delete mode 100644 test/files/pos/bug66.scala delete mode 100644 test/files/pos/bug68.scala delete mode 100644 test/files/pos/bug69.scala delete mode 100644 test/files/pos/bug76.scala delete mode 100644 test/files/pos/bug81.scala delete mode 100644 test/files/pos/bug85.scala delete mode 100644 test/files/pos/bug91.scala delete mode 100644 test/files/pos/bug93.scala (limited to 'test/files/pos') diff --git a/test/files/pos/304.scala b/test/files/pos/304.scala deleted file mode 100644 index 607a115db2..0000000000 --- a/test/files/pos/304.scala +++ /dev/null @@ -1,5 +0,0 @@ -object O { - def f1 = -1; - def f2 = 0-1; - def f3 = f1 + f2; -} diff --git a/test/files/pos/bug0002.scala b/test/files/pos/bug0002.scala new file mode 100644 index 0000000000..4c58ed3f4f --- /dev/null +++ b/test/files/pos/bug0002.scala @@ -0,0 +1,6 @@ +object main { + def main(args: Array[String]) = { + val b = true; + while (b == true) { } + } +} diff --git a/test/files/pos/bug0017.scala b/test/files/pos/bug0017.scala new file mode 100644 index 0000000000..d2bcda08d4 --- /dev/null +++ b/test/files/pos/bug0017.scala @@ -0,0 +1,21 @@ +class Quantity { + def getValue = 0; + def connect(c: Constraint) = c.newValue; +} + +abstract class Constraint(q: Quantity) { + def newValue: Unit; + q connect this +} + +class Adder(q: Quantity) extends Constraint(q) { + def newValue = Console.println(q.getValue); +} + +object Main { + def main(args: Array[String]): Unit = { + val x = new Quantity; + new Adder(x); + () + } +} diff --git a/test/files/pos/bug0020.scala b/test/files/pos/bug0020.scala new file mode 100644 index 0000000000..4f1e5b1732 --- /dev/null +++ b/test/files/pos/bug0020.scala @@ -0,0 +1,8 @@ +object Exceptions { + + class CubeException(s: String) extends RuntimeException(s); + + def main(args: Array[String]) = + Console.println(new CubeException("test")); + +} diff --git a/test/files/pos/bug0029.scala b/test/files/pos/bug0029.scala new file mode 100644 index 0000000000..1b33c6cffd --- /dev/null +++ b/test/files/pos/bug0029.scala @@ -0,0 +1,3 @@ +object Main { + def f[a]: List[List[a]] = for (val l1 <- Nil; val l2 <- Nil) yield l1; +} diff --git a/test/files/pos/bug0030.scala b/test/files/pos/bug0030.scala new file mode 100644 index 0000000000..6d28e18c0d --- /dev/null +++ b/test/files/pos/bug0030.scala @@ -0,0 +1,9 @@ +trait A { + def f(x: int): unit; + def f(x: String): unit; +} + +class B extends A { + def f(x: int): unit = (); + def f(x: String): unit = (); +} diff --git a/test/files/pos/bug0031.scala b/test/files/pos/bug0031.scala new file mode 100644 index 0000000000..aa787ca794 --- /dev/null +++ b/test/files/pos/bug0031.scala @@ -0,0 +1,29 @@ +object Main { + + trait Ensure[a] { + def ensure(postcondition: a => Boolean): a + } + + def require[a](precondition: => Boolean)(command: => a): Ensure[a] = + if (precondition) + new Ensure[a] { + def ensure(postcondition: a => Boolean): a = { + val result = command; + if (postcondition(result)) result + else error("Assertion error") + } + } + else + error("Assertion error"); + + def arb[a](s: List[a]) = + require (! s.isEmpty) { + s.head + } ensure (result => s contains result); + + def main(args: Array[String]) = { + val s = List(1, 2); + Console.println(arb(s)) + } + +} diff --git a/test/files/pos/bug0032.scala b/test/files/pos/bug0032.scala new file mode 100644 index 0000000000..727a7d4e99 --- /dev/null +++ b/test/files/pos/bug0032.scala @@ -0,0 +1,17 @@ +import java.io.{OutputStream, PrintStream}; + +class PromptStream(s: OutputStream) extends PrintStream(s) { + override def println() = super.println(); +} + +object Main { + + val out = new PromptStream(java.lang.System.out); + + java.lang.System.setOut(out); + + def main(args: Array[String]) = + //out.println("hello world"); + () + +} diff --git a/test/files/pos/bug0036.scala b/test/files/pos/bug0036.scala new file mode 100644 index 0000000000..1d923b0017 --- /dev/null +++ b/test/files/pos/bug0036.scala @@ -0,0 +1,8 @@ +object m { + + val xs: List[int] = Nil; + def f(i: int) = 0; + val v = xs map f; + + def m() = {} +} diff --git a/test/files/pos/bug0039.scala b/test/files/pos/bug0039.scala new file mode 100644 index 0000000000..e1fc62f40f --- /dev/null +++ b/test/files/pos/bug0039.scala @@ -0,0 +1,6 @@ +abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) requires This { + def mkObj(x: A, xs: This): This; +} +class Fixed[A](x: A, xs: Fixed[A]) extends Extensible[A, Fixed[A]](x, xs) { + def mkObj(x: A, xs: Fixed[A]) = new Fixed(x, xs); +} diff --git a/test/files/pos/bug0049.scala b/test/files/pos/bug0049.scala new file mode 100644 index 0000000000..dd86642263 --- /dev/null +++ b/test/files/pos/bug0049.scala @@ -0,0 +1,3 @@ +class C1(x: AnyRef) {}; + +class C2 extends C1({ class A extends AnyRef {}; (new A) : AnyRef }) {}; diff --git a/test/files/pos/bug0053.scala b/test/files/pos/bug0053.scala new file mode 100644 index 0000000000..44763ef144 --- /dev/null +++ b/test/files/pos/bug0053.scala @@ -0,0 +1,7 @@ +object bug { + def foobar[c]: Int = { + class Foo { def foo: Bar = new Bar(); } + class Bar { def bar: c = bar; } + 0 + } +} diff --git a/test/files/pos/bug0054.scala b/test/files/pos/bug0054.scala new file mode 100644 index 0000000000..670160f36e --- /dev/null +++ b/test/files/pos/bug0054.scala @@ -0,0 +1,4 @@ +class A { + case class B(x: C) extends A { val z: A.this.C = x } + class C {} +} diff --git a/test/files/pos/bug0061.scala b/test/files/pos/bug0061.scala new file mode 100644 index 0000000000..dd3f94f30c --- /dev/null +++ b/test/files/pos/bug0061.scala @@ -0,0 +1,10 @@ +object O { + + class testClass ; + + case class testA() extends testClass ; // works if you leave away "extends..." + // or if you write TestA + def ga( x:testClass ) = x match { + case testA() => () + } +} diff --git a/test/files/pos/bug0064.scala b/test/files/pos/bug0064.scala new file mode 100644 index 0000000000..c2ce4bf6d0 --- /dev/null +++ b/test/files/pos/bug0064.scala @@ -0,0 +1,6 @@ +object B { + def main(Args:Array[String]) = { + val Pair(_,x) = Pair(1,2); + x + 1; + } +} diff --git a/test/files/pos/bug0066.scala b/test/files/pos/bug0066.scala new file mode 100644 index 0000000000..2153264e7a --- /dev/null +++ b/test/files/pos/bug0066.scala @@ -0,0 +1,7 @@ +class GBTree[A, B] /*with Map[A, B, GBTree[A,B]]*/ { + abstract class Tree[A,B]; + case class Node[A,B](key:A,value:B,smaller:Node[A,B],bigger:Node[A,B]) + extends Tree[A,B]; + case class Nil[A,B]() extends Tree[A,B]; + +} diff --git a/test/files/pos/bug0068.scala b/test/files/pos/bug0068.scala new file mode 100644 index 0000000000..beb2c7c0ab --- /dev/null +++ b/test/files/pos/bug0068.scala @@ -0,0 +1,6 @@ +class E { + def f() = { + val (_::l1) = List(1,2,3); + l1.tail; + } +} diff --git a/test/files/pos/bug0069.scala b/test/files/pos/bug0069.scala new file mode 100644 index 0000000000..113820613f --- /dev/null +++ b/test/files/pos/bug0069.scala @@ -0,0 +1,11 @@ +object testCQ { + // why does this not work directly + case class Thing( name:String, contains:List[ Thing ] ); + + /* ... but this one does? + abstract class T; + case class Thing2( name:String, contains:List[ T ] ) extends T; + */ + +} + diff --git a/test/files/pos/bug0076.scala b/test/files/pos/bug0076.scala new file mode 100644 index 0000000000..5419cf5154 --- /dev/null +++ b/test/files/pos/bug0076.scala @@ -0,0 +1,9 @@ +// This is extracted from a test file => don't add a new test file. +object bug { + def foo(i: => Int): Int = 0; + + def bar: Int = { + var i: Int = 0; + foo (i); + } +} diff --git a/test/files/pos/bug0081.scala b/test/files/pos/bug0081.scala new file mode 100644 index 0000000000..20fd604974 --- /dev/null +++ b/test/files/pos/bug0081.scala @@ -0,0 +1,4 @@ +class A { + val b: A#B = new B; + class B {} +} diff --git a/test/files/pos/bug0082.scala b/test/files/pos/bug0082.scala new file mode 100644 index 0000000000..2b365ca333 --- /dev/null +++ b/test/files/pos/bug0082.scala @@ -0,0 +1,18 @@ + +object Main { + + def min0[A](less: (A, A) => Boolean, xs: List[A]): Option[A] = xs match { + case List() => None + case List(x) => Some(x) +// case x :: Nil => Some(x) + case y :: ys => (min0(less, ys): @unchecked) match { + case Some(m) => if (less(y, m)) Some(y) else Some(m) + } + } + + def min(xs: List[Int]) = min0((x: Int, y: Int) => x < y, xs); + + def main(args: Array[String]) = + Console.println(min(List())); + +} diff --git a/test/files/pos/bug0085.scala b/test/files/pos/bug0085.scala new file mode 100644 index 0000000000..e018afb6ee --- /dev/null +++ b/test/files/pos/bug0085.scala @@ -0,0 +1,8 @@ +object A { + case class B(c: C) { + class C; + } + class C; + val b: B = new B(new C()); + val c: C = b.c; +} diff --git a/test/files/pos/bug0091.scala b/test/files/pos/bug0091.scala new file mode 100644 index 0000000000..54c821b41c --- /dev/null +++ b/test/files/pos/bug0091.scala @@ -0,0 +1,6 @@ +class Bug { + def main(args: Array[String]) = { + var msg: String = null; // no bug if "null" instead of "_" + val f: PartialFunction[Any, unit] = { case 42 => msg = "coucou" }; + } +} diff --git a/test/files/pos/bug0093.scala b/test/files/pos/bug0093.scala new file mode 100644 index 0000000000..d648d773b0 --- /dev/null +++ b/test/files/pos/bug0093.scala @@ -0,0 +1,4 @@ +object Bug { + def f(cond: => Boolean) = while (cond == false) {}; + // no bug with "false == cond" +} diff --git a/test/files/pos/bug0123.scala b/test/files/pos/bug0123.scala new file mode 100644 index 0000000000..79f0c907a3 --- /dev/null +++ b/test/files/pos/bug0123.scala @@ -0,0 +1,3 @@ +class M{ + val 1 = 1; +} diff --git a/test/files/pos/bug0204.scala b/test/files/pos/bug0204.scala new file mode 100644 index 0000000000..23d36523e9 --- /dev/null +++ b/test/files/pos/bug0204.scala @@ -0,0 +1,7 @@ +class A { + object B { + def f() = { + class C extends A {}; new C : A + } + } +} diff --git a/test/files/pos/bug0304.scala b/test/files/pos/bug0304.scala new file mode 100644 index 0000000000..607a115db2 --- /dev/null +++ b/test/files/pos/bug0304.scala @@ -0,0 +1,5 @@ +object O { + def f1 = -1; + def f2 = 0-1; + def f3 = f1 + f2; +} diff --git a/test/files/pos/bug0325.scala b/test/files/pos/bug0325.scala new file mode 100644 index 0000000000..4b13c431b7 --- /dev/null +++ b/test/files/pos/bug0325.scala @@ -0,0 +1,4 @@ +class Foobar { + val foo = "foo"; + def foo(bar: String): String = foo + bar; // crashes the compiler +} diff --git a/test/files/pos/bug082.scala b/test/files/pos/bug082.scala deleted file mode 100644 index 2b365ca333..0000000000 --- a/test/files/pos/bug082.scala +++ /dev/null @@ -1,18 +0,0 @@ - -object Main { - - def min0[A](less: (A, A) => Boolean, xs: List[A]): Option[A] = xs match { - case List() => None - case List(x) => Some(x) -// case x :: Nil => Some(x) - case y :: ys => (min0(less, ys): @unchecked) match { - case Some(m) => if (less(y, m)) Some(y) else Some(m) - } - } - - def min(xs: List[Int]) = min0((x: Int, y: Int) => x < y, xs); - - def main(args: Array[String]) = - Console.println(min(List())); - -} diff --git a/test/files/pos/bug123.scala b/test/files/pos/bug123.scala deleted file mode 100644 index 79f0c907a3..0000000000 --- a/test/files/pos/bug123.scala +++ /dev/null @@ -1,3 +0,0 @@ -class M{ - val 1 = 1; -} diff --git a/test/files/pos/bug17.scala b/test/files/pos/bug17.scala deleted file mode 100644 index d2bcda08d4..0000000000 --- a/test/files/pos/bug17.scala +++ /dev/null @@ -1,21 +0,0 @@ -class Quantity { - def getValue = 0; - def connect(c: Constraint) = c.newValue; -} - -abstract class Constraint(q: Quantity) { - def newValue: Unit; - q connect this -} - -class Adder(q: Quantity) extends Constraint(q) { - def newValue = Console.println(q.getValue); -} - -object Main { - def main(args: Array[String]): Unit = { - val x = new Quantity; - new Adder(x); - () - } -} diff --git a/test/files/pos/bug2.scala b/test/files/pos/bug2.scala deleted file mode 100644 index 4c58ed3f4f..0000000000 --- a/test/files/pos/bug2.scala +++ /dev/null @@ -1,6 +0,0 @@ -object main { - def main(args: Array[String]) = { - val b = true; - while (b == true) { } - } -} diff --git a/test/files/pos/bug20.scala b/test/files/pos/bug20.scala deleted file mode 100644 index 4f1e5b1732..0000000000 --- a/test/files/pos/bug20.scala +++ /dev/null @@ -1,8 +0,0 @@ -object Exceptions { - - class CubeException(s: String) extends RuntimeException(s); - - def main(args: Array[String]) = - Console.println(new CubeException("test")); - -} diff --git a/test/files/pos/bug204.scala b/test/files/pos/bug204.scala deleted file mode 100644 index 23d36523e9..0000000000 --- a/test/files/pos/bug204.scala +++ /dev/null @@ -1,7 +0,0 @@ -class A { - object B { - def f() = { - class C extends A {}; new C : A - } - } -} diff --git a/test/files/pos/bug29.scala b/test/files/pos/bug29.scala deleted file mode 100644 index 1b33c6cffd..0000000000 --- a/test/files/pos/bug29.scala +++ /dev/null @@ -1,3 +0,0 @@ -object Main { - def f[a]: List[List[a]] = for (val l1 <- Nil; val l2 <- Nil) yield l1; -} diff --git a/test/files/pos/bug30.scala b/test/files/pos/bug30.scala deleted file mode 100644 index 6d28e18c0d..0000000000 --- a/test/files/pos/bug30.scala +++ /dev/null @@ -1,9 +0,0 @@ -trait A { - def f(x: int): unit; - def f(x: String): unit; -} - -class B extends A { - def f(x: int): unit = (); - def f(x: String): unit = (); -} diff --git a/test/files/pos/bug31.scala b/test/files/pos/bug31.scala deleted file mode 100644 index aa787ca794..0000000000 --- a/test/files/pos/bug31.scala +++ /dev/null @@ -1,29 +0,0 @@ -object Main { - - trait Ensure[a] { - def ensure(postcondition: a => Boolean): a - } - - def require[a](precondition: => Boolean)(command: => a): Ensure[a] = - if (precondition) - new Ensure[a] { - def ensure(postcondition: a => Boolean): a = { - val result = command; - if (postcondition(result)) result - else error("Assertion error") - } - } - else - error("Assertion error"); - - def arb[a](s: List[a]) = - require (! s.isEmpty) { - s.head - } ensure (result => s contains result); - - def main(args: Array[String]) = { - val s = List(1, 2); - Console.println(arb(s)) - } - -} diff --git a/test/files/pos/bug32.scala b/test/files/pos/bug32.scala deleted file mode 100644 index 727a7d4e99..0000000000 --- a/test/files/pos/bug32.scala +++ /dev/null @@ -1,17 +0,0 @@ -import java.io.{OutputStream, PrintStream}; - -class PromptStream(s: OutputStream) extends PrintStream(s) { - override def println() = super.println(); -} - -object Main { - - val out = new PromptStream(java.lang.System.out); - - java.lang.System.setOut(out); - - def main(args: Array[String]) = - //out.println("hello world"); - () - -} diff --git a/test/files/pos/bug325.scala b/test/files/pos/bug325.scala deleted file mode 100644 index 4b13c431b7..0000000000 --- a/test/files/pos/bug325.scala +++ /dev/null @@ -1,4 +0,0 @@ -class Foobar { - val foo = "foo"; - def foo(bar: String): String = foo + bar; // crashes the compiler -} diff --git a/test/files/pos/bug36.scala b/test/files/pos/bug36.scala deleted file mode 100644 index 1d923b0017..0000000000 --- a/test/files/pos/bug36.scala +++ /dev/null @@ -1,8 +0,0 @@ -object m { - - val xs: List[int] = Nil; - def f(i: int) = 0; - val v = xs map f; - - def m() = {} -} diff --git a/test/files/pos/bug39.scala b/test/files/pos/bug39.scala deleted file mode 100644 index e1fc62f40f..0000000000 --- a/test/files/pos/bug39.scala +++ /dev/null @@ -1,6 +0,0 @@ -abstract class Extensible[A, This <: Extensible[A, This]](x: A, xs: This) requires This { - def mkObj(x: A, xs: This): This; -} -class Fixed[A](x: A, xs: Fixed[A]) extends Extensible[A, Fixed[A]](x, xs) { - def mkObj(x: A, xs: Fixed[A]) = new Fixed(x, xs); -} diff --git a/test/files/pos/bug49.scala b/test/files/pos/bug49.scala deleted file mode 100644 index dd86642263..0000000000 --- a/test/files/pos/bug49.scala +++ /dev/null @@ -1,3 +0,0 @@ -class C1(x: AnyRef) {}; - -class C2 extends C1({ class A extends AnyRef {}; (new A) : AnyRef }) {}; diff --git a/test/files/pos/bug53.scala b/test/files/pos/bug53.scala deleted file mode 100644 index 44763ef144..0000000000 --- a/test/files/pos/bug53.scala +++ /dev/null @@ -1,7 +0,0 @@ -object bug { - def foobar[c]: Int = { - class Foo { def foo: Bar = new Bar(); } - class Bar { def bar: c = bar; } - 0 - } -} diff --git a/test/files/pos/bug54.scala b/test/files/pos/bug54.scala deleted file mode 100644 index 670160f36e..0000000000 --- a/test/files/pos/bug54.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A { - case class B(x: C) extends A { val z: A.this.C = x } - class C {} -} diff --git a/test/files/pos/bug61.scala b/test/files/pos/bug61.scala deleted file mode 100644 index dd3f94f30c..0000000000 --- a/test/files/pos/bug61.scala +++ /dev/null @@ -1,10 +0,0 @@ -object O { - - class testClass ; - - case class testA() extends testClass ; // works if you leave away "extends..." - // or if you write TestA - def ga( x:testClass ) = x match { - case testA() => () - } -} diff --git a/test/files/pos/bug64.scala b/test/files/pos/bug64.scala deleted file mode 100644 index c2ce4bf6d0..0000000000 --- a/test/files/pos/bug64.scala +++ /dev/null @@ -1,6 +0,0 @@ -object B { - def main(Args:Array[String]) = { - val Pair(_,x) = Pair(1,2); - x + 1; - } -} diff --git a/test/files/pos/bug66.scala b/test/files/pos/bug66.scala deleted file mode 100644 index 2153264e7a..0000000000 --- a/test/files/pos/bug66.scala +++ /dev/null @@ -1,7 +0,0 @@ -class GBTree[A, B] /*with Map[A, B, GBTree[A,B]]*/ { - abstract class Tree[A,B]; - case class Node[A,B](key:A,value:B,smaller:Node[A,B],bigger:Node[A,B]) - extends Tree[A,B]; - case class Nil[A,B]() extends Tree[A,B]; - -} diff --git a/test/files/pos/bug68.scala b/test/files/pos/bug68.scala deleted file mode 100644 index beb2c7c0ab..0000000000 --- a/test/files/pos/bug68.scala +++ /dev/null @@ -1,6 +0,0 @@ -class E { - def f() = { - val (_::l1) = List(1,2,3); - l1.tail; - } -} diff --git a/test/files/pos/bug69.scala b/test/files/pos/bug69.scala deleted file mode 100644 index 113820613f..0000000000 --- a/test/files/pos/bug69.scala +++ /dev/null @@ -1,11 +0,0 @@ -object testCQ { - // why does this not work directly - case class Thing( name:String, contains:List[ Thing ] ); - - /* ... but this one does? - abstract class T; - case class Thing2( name:String, contains:List[ T ] ) extends T; - */ - -} - diff --git a/test/files/pos/bug76.scala b/test/files/pos/bug76.scala deleted file mode 100644 index 5419cf5154..0000000000 --- a/test/files/pos/bug76.scala +++ /dev/null @@ -1,9 +0,0 @@ -// This is extracted from a test file => don't add a new test file. -object bug { - def foo(i: => Int): Int = 0; - - def bar: Int = { - var i: Int = 0; - foo (i); - } -} diff --git a/test/files/pos/bug81.scala b/test/files/pos/bug81.scala deleted file mode 100644 index 20fd604974..0000000000 --- a/test/files/pos/bug81.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A { - val b: A#B = new B; - class B {} -} diff --git a/test/files/pos/bug85.scala b/test/files/pos/bug85.scala deleted file mode 100644 index e018afb6ee..0000000000 --- a/test/files/pos/bug85.scala +++ /dev/null @@ -1,8 +0,0 @@ -object A { - case class B(c: C) { - class C; - } - class C; - val b: B = new B(new C()); - val c: C = b.c; -} diff --git a/test/files/pos/bug91.scala b/test/files/pos/bug91.scala deleted file mode 100644 index 54c821b41c..0000000000 --- a/test/files/pos/bug91.scala +++ /dev/null @@ -1,6 +0,0 @@ -class Bug { - def main(args: Array[String]) = { - var msg: String = null; // no bug if "null" instead of "_" - val f: PartialFunction[Any, unit] = { case 42 => msg = "coucou" }; - } -} diff --git a/test/files/pos/bug93.scala b/test/files/pos/bug93.scala deleted file mode 100644 index d648d773b0..0000000000 --- a/test/files/pos/bug93.scala +++ /dev/null @@ -1,4 +0,0 @@ -object Bug { - def f(cond: => Boolean) = while (cond == false) {}; - // no bug with "false == cond" -} -- cgit v1.2.3