diff options
Diffstat (limited to 'test/neg')
116 files changed, 0 insertions, 1315 deletions
diff --git a/test/neg/182.check b/test/neg/182.check deleted file mode 100644 index d5370cd43b..0000000000 --- a/test/neg/182.check +++ /dev/null @@ -1,5 +0,0 @@ -bug182.scala:2: error overriding class Foo.I in class Foo; - class Bar.I in class Bar cannot override a class -class Bar extends Foo { class I; } - ^ -one error found diff --git a/test/neg/S2.check b/test/neg/S2.check deleted file mode 100644 index cb6bb9c991..0000000000 --- a/test/neg/S2.check +++ /dev/null @@ -1,7 +0,0 @@ -S2.scala:14: type z.type escapes its defining scope as part of z.Inner - def x = { val z = new S2(); new z.Inner(); } - ^ -S2.scala:15: type z.type escapes its defining scope as part of z.Inner - def y = { val z = new S2(); new z.Inner(); } - ^ -two errors found diff --git a/test/neg/S2.scala b/test/neg/S2.scala deleted file mode 100644 index 47687a916a..0000000000 --- a/test/neg/S2.scala +++ /dev/null @@ -1,19 +0,0 @@ -/* I was wondering for a long time what types x and y have; -** the compiler claims: z.Inner (see commented out line) -** This is strange because z is not in scope. -** Furthermore, compilation of this class yields the message: (why?) -** -** S2.scala:16: illegal cyclic reference involving value t -** def t = foo(x, y); -** ^ -*/ -object M { - def foo[T](x: T, y: T): T = x; - class S2() { - class Inner() extends S2() {} - def x = { val z = new S2(); new z.Inner(); } - def y = { val z = new S2(); new z.Inner(); } - def t = foo(x, y); - //def testType: Inner = x; - } -} diff --git a/test/neg/S4.check b/test/neg/S4.check deleted file mode 100644 index c8de54cd39..0000000000 --- a/test/neg/S4.check +++ /dev/null @@ -1,4 +0,0 @@ -S4.scala:4: type a.type escapes its defining scope as part of a.Inner with scala.ScalaObject { def foo(a.Inner): a.Inner, val b$: Other, def b: Other } -class S4(a: Other) extends a.Inner() { - ^ -one error found diff --git a/test/neg/S4.scala b/test/neg/S4.scala deleted file mode 100644 index 4f7941082f..0000000000 --- a/test/neg/S4.scala +++ /dev/null @@ -1,11 +0,0 @@ -/* This one compiles, but even if we would have dependent -** constructor types, it would be not sound. -*/ -class S4(a: Other) extends a.Inner() { - def foo(x: a.Inner) = x; - val b = new Other(); - foo(new S4(b)) -} -class Other() { - class Inner() {} -} diff --git a/test/neg/S6.check b/test/neg/S6.check deleted file mode 100644 index 6303e4c8e2..0000000000 --- a/test/neg/S6.check +++ /dev/null @@ -1,4 +0,0 @@ -S6.scala:11: illegal cyclic reference involving type S - type S <: T; - ^ -one error found diff --git a/test/neg/S6.scala b/test/neg/S6.scala deleted file mode 100644 index dfe53d22bd..0000000000 --- a/test/neg/S6.scala +++ /dev/null @@ -1,12 +0,0 @@ -/* This program puts the compiler into an endless loop -*/ -trait T1 { - type T; -} -trait T2 { - type S; - type T <: S; -} -abstract class S6() extends T1 with T2 { - type S <: T; -} diff --git a/test/neg/S7.check b/test/neg/S7.check deleted file mode 100644 index c12c624cd7..0000000000 --- a/test/neg/S7.check +++ /dev/null @@ -1,4 +0,0 @@ -S7.scala:6: illegal cyclic reference involving class S7.A - class C() extends a.A() {} - ^ -one error found diff --git a/test/neg/S7.scala b/test/neg/S7.scala deleted file mode 100644 index ecb801b9dc..0000000000 --- a/test/neg/S7.scala +++ /dev/null @@ -1,7 +0,0 @@ -/* Another example for a non-terminating compiler run. -*/ -class S7[T]() { - val a: S7[T] = this; - class A() extends a.C() {} - class C() extends a.A() {} -} diff --git a/test/neg/abstract.check b/test/neg/abstract.check deleted file mode 100644 index 11d01ce3d9..0000000000 --- a/test/neg/abstract.check +++ /dev/null @@ -1,7 +0,0 @@ -abstract.scala:5: malformed type: A.this.T#T - def foo1 = bar().bar(); - ^ -abstract.scala:7: malformed type: A#T - def foo3 = baz().bar(); - ^ -two errors found diff --git a/test/neg/abstract.scala b/test/neg/abstract.scala deleted file mode 100644 index 41cfc81309..0000000000 --- a/test/neg/abstract.scala +++ /dev/null @@ -1,9 +0,0 @@ -trait A { - type T <: A; - def baz(): A; - def bar(): T; - def foo1 = bar().bar(); - def foo2 = bar().baz(); - def foo3 = baz().bar(); - def foo4 = baz().baz(); -} diff --git a/test/neg/altherr2.check b/test/neg/altherr2.check deleted file mode 100644 index 53eeb2c84c..0000000000 --- a/test/neg/altherr2.check +++ /dev/null @@ -1,4 +0,0 @@ -altherr2.scala:5: ';' expected but '[' found. - foo()[Int]; - ^ -one error found diff --git a/test/neg/altherr2.scala b/test/neg/altherr2.scala deleted file mode 100644 index 6ab26526f7..0000000000 --- a/test/neg/altherr2.scala +++ /dev/null @@ -1,7 +0,0 @@ -trait Foo[a]; - -object Bug { - def foo[a](): Foo[a] = foo[a](); - foo()[Int]; -} - diff --git a/test/neg/altherr3.check b/test/neg/altherr3.check deleted file mode 100644 index 1ee3655290..0000000000 --- a/test/neg/altherr3.check +++ /dev/null @@ -1,171 +0,0 @@ -altherr3.scala:26: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo0()); // error 1 - ^ -altherr3.scala:27: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo0(foo0())); // error 2 - ^ -altherr3.scala:28: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo0(foo0(foo0()))); // error 3 - ^ -altherr3.scala:29: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo0(foo0(foo0(foo0())))); // error 4 - ^ -altherr3.scala:32: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo0(foo0())); // error 5 - ^ -altherr3.scala:33: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo0(foo0(foo0()))); // error 6 - ^ -altherr3.scala:34: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 7 - ^ -altherr3.scala:38: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Foo[Int]]](foo0(foo0(foo0()))); // error 8 - ^ -altherr3.scala:39: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 9 - ^ -altherr3.scala:49: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo0(foo0())); // error 10 - ^ -altherr3.scala:50: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo0(foo0(foo0()))); // error 11 - ^ -altherr3.scala:51: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo0(foo0(foo0(foo0())))); // error 12 - ^ -altherr3.scala:55: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Int]](foo0(foo0(foo0()))); // error 13 - ^ -altherr3.scala:56: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 14 - ^ -altherr3.scala:61: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15 - ^ -altherr3.scala:72: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar2[Int](foo0(foo0(foo0()))); // error 16 - ^ -altherr3.scala:73: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar2[Int](foo0(foo0(foo0(foo0())))); // error 17 - ^ -altherr3.scala:78: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar2[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 18 - ^ -altherr3.scala:95: no type parameters for method foo0 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar3[Int](foo0(foo0(foo0(foo0())))); // error 20 - ^ -altherr3.scala:116: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo1()); // error 21 - ^ -altherr3.scala:117: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo1(foo1())); // error 22 - ^ -altherr3.scala:118: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo1(foo1(foo1()))); // error 23 - ^ -altherr3.scala:119: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[bug.Foo[scala.All]]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Int](foo1(foo1(foo1(foo1())))); // error 24 - ^ -altherr3.scala:122: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo1(foo1())); // error 25 - ^ -altherr3.scala:123: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo1(foo1(foo1()))); // error 26 - ^ -altherr3.scala:124: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Int]](foo0(foo1(foo1(foo1())))); // error 27 - ^ -altherr3.scala:128: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Foo[Int]]](foo1(foo1(foo1()))); // error 28 - ^ -altherr3.scala:129: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29 - ^ -altherr3.scala:139: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo1(foo1())); // error 30 - ^ -altherr3.scala:140: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo1(foo1(foo1()))); // error 31 - ^ -altherr3.scala:141: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[bug.Foo[scala.All]]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Int](foo1(foo1(foo1(foo1())))); // error 32 - ^ -altherr3.scala:145: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Int]](foo1(foo1(foo1()))); // error 33 - ^ -altherr3.scala:146: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments (bug.Foo[scala.All]) - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Int]](foo1(foo1(foo1(foo1())))); // error 34 - ^ -altherr3.scala:151: no type parameters for method foo1 of type [a](a*)bug.Foo[a] exist so that it can be applied to arguments () - --- because --- -result type bug.Foo[a] is incompatible with expected type scala.Int - bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35 - ^ -34 errors found diff --git a/test/neg/altherr3.scala b/test/neg/altherr3.scala deleted file mode 100644 index 87f470db03..0000000000 --- a/test/neg/altherr3.scala +++ /dev/null @@ -1,154 +0,0 @@ -// $Id$ - -object bug { - - //########################################################################## - - trait Foo[+a]; - - def foo0[a](x: a*): Foo[a] = foo0(); - - val foo1: Int = 0; - def foo1[a](x: a*): Foo[a] = foo1(); - - def bar0[a](x: a): Int = 0; - def bar1[a](x: Foo[a]): Int = 0; - def bar2[a](x: Foo[Foo[a]]): Int = 0; - def bar3[a](x: Foo[Foo[Foo[a]]]): Int = 0; - - //########################################################################## - - bar0(foo0()); - bar0(foo0(foo0())); - bar0(foo0(foo0(foo0()))); - bar0(foo0(foo0(foo0(foo0())))); - - bar0[Int](foo0()); // error 1 - bar0[Int](foo0(foo0())); // error 2 - bar0[Int](foo0(foo0(foo0()))); // error 3 - bar0[Int](foo0(foo0(foo0(foo0())))); // error 4 - - bar0[Foo[Int]](foo0()); - bar0[Foo[Int]](foo0(foo0())); // error 5 - bar0[Foo[Int]](foo0(foo0(foo0()))); // error 6 - bar0[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 7 - - bar0[Foo[Foo[Int]]](foo0()); - bar0[Foo[Foo[Int]]](foo0(foo0())); - bar0[Foo[Foo[Int]]](foo0(foo0(foo0()))); // error 8 - bar0[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 9 - - //########################################################################## - - bar1(foo0()); - bar1(foo0(foo0())); - bar1(foo0(foo0(foo0()))); - bar1(foo0(foo0(foo0(foo0())))); - - bar1[Int](foo0()); - bar1[Int](foo0(foo0())); // error 10 - bar1[Int](foo0(foo0(foo0()))); // error 11 - bar1[Int](foo0(foo0(foo0(foo0())))); // error 12 - - bar1[Foo[Int]](foo0()); - bar1[Foo[Int]](foo0(foo0())); - bar1[Foo[Int]](foo0(foo0(foo0()))); // error 13 - bar1[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 14 - - bar1[Foo[Foo[Int]]](foo0()); - bar1[Foo[Foo[Int]]](foo0(foo0())); - bar1[Foo[Foo[Int]]](foo0(foo0(foo0()))); - bar1[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); // error 15 - - //########################################################################## - - bar2(foo0()); - bar2(foo0(foo0())); - bar2(foo0(foo0(foo0()))); - bar2(foo0(foo0(foo0(foo0())))); - - bar2[Int](foo0()); - bar2[Int](foo0(foo0())); - bar2[Int](foo0(foo0(foo0()))); // error 16 - bar2[Int](foo0(foo0(foo0(foo0())))); // error 17 - - bar2[Foo[Int]](foo0()); - bar2[Foo[Int]](foo0(foo0())); - bar2[Foo[Int]](foo0(foo0(foo0()))); - bar2[Foo[Int]](foo0(foo0(foo0(foo0())))); // error 18 - - bar2[Foo[Foo[Int]]](foo0()); - bar2[Foo[Foo[Int]]](foo0(foo0())); - bar2[Foo[Foo[Int]]](foo0(foo0(foo0()))); - bar2[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); - - //########################################################################## - - bar3(foo0()); - bar3(foo0(foo0())); - bar3(foo0(foo0(foo0()))); - bar3(foo0(foo0(foo0(foo0())))); - - bar3[Int](foo0()); - bar3[Int](foo0(foo0())); - bar3[Int](foo0(foo0(foo0()))); - bar3[Int](foo0(foo0(foo0(foo0())))); // error 20 - - bar3[Foo[Int]](foo0()); - bar3[Foo[Int]](foo0(foo0())); - bar3[Foo[Int]](foo0(foo0(foo0()))); - bar3[Foo[Int]](foo0(foo0(foo0(foo0())))); - - bar3[Foo[Foo[Int]]](foo0()); - bar3[Foo[Foo[Int]]](foo0(foo0())); - bar3[Foo[Foo[Int]]](foo0(foo0(foo0()))); - bar3[Foo[Foo[Int]]](foo0(foo0(foo0(foo0())))); - - //########################################################################## - //########################################################################## - //########################################################################## - - bar0(foo1()); - bar0(foo1(foo1())); - bar0(foo1(foo1(foo1()))); - bar0(foo1(foo1(foo1(foo1())))); - - bar0[Int](foo1()); // error 21 - bar0[Int](foo1(foo1())); // error 22 - bar0[Int](foo1(foo1(foo1()))); // error 23 - bar0[Int](foo1(foo1(foo1(foo1())))); // error 24 - - bar0[Foo[Int]](foo1()); - bar0[Foo[Int]](foo1(foo1())); // error 25 - bar0[Foo[Int]](foo1(foo1(foo1()))); // error 26 - bar0[Foo[Int]](foo0(foo1(foo1(foo1())))); // error 27 - - bar0[Foo[Foo[Int]]](foo1()); - bar0[Foo[Foo[Int]]](foo1(foo1())); - bar0[Foo[Foo[Int]]](foo1(foo1(foo1()))); // error 28 - bar0[Foo[Foo[Int]]](foo1(foo0(foo1(foo1())))); // error 29 - - //########################################################################## - - bar1(foo1()); - bar1(foo1(foo1())); - bar1(foo1(foo1(foo1()))); - bar1(foo1(foo1(foo1(foo1())))); - - bar1[Int](foo1()); - bar1[Int](foo1(foo1())); // error 30 - bar1[Int](foo1(foo1(foo1()))); // error 31 - bar1[Int](foo1(foo1(foo1(foo1())))); // error 32 - - bar1[Foo[Int]](foo1()); - bar1[Foo[Int]](foo1(foo1())); - bar1[Foo[Int]](foo1(foo1(foo1()))); // error 33 - bar1[Foo[Int]](foo1(foo1(foo1(foo1())))); // error 34 - - bar1[Foo[Foo[Int]]](foo1()); - bar1[Foo[Foo[Int]]](foo1(foo1())); - bar1[Foo[Foo[Int]]](foo1(foo1(foo1()))); - bar1[Foo[Foo[Int]]](foo1(foo1(foo1(foo1())))); // error 35 - - //########################################################################## -} diff --git a/test/neg/bounds.check b/test/neg/bounds.check deleted file mode 100644 index 461086194f..0000000000 --- a/test/neg/bounds.check +++ /dev/null @@ -1,4 +0,0 @@ -bounds.scala:11: type arguments [T] do not conform to constructor A's type parameter bounds [T >: I] -class B[T >: J](init: T) extends A[T](init) { - ^ -one error found diff --git a/test/neg/bounds.scala b/test/neg/bounds.scala deleted file mode 100644 index f9fbeaa674..0000000000 --- a/test/neg/bounds.scala +++ /dev/null @@ -1,12 +0,0 @@ -class I { - def i(): Unit = {} -} -class J extends I { - def j(): Unit = {} -} -class A[T >: I](init: T) { - var y: T = new B(); - class B() extends I {} -} -class B[T >: J](init: T) extends A[T](init) { -} diff --git a/test/neg/bug105.check b/test/neg/bug105.check deleted file mode 100644 index d0a980053a..0000000000 --- a/test/neg/bug105.check +++ /dev/null @@ -1,4 +0,0 @@ -bug105.scala:1: illegal inheritance from sealed class -object T extends Array[Int](1); - ^ -one error found diff --git a/test/neg/bug105.scala b/test/neg/bug105.scala deleted file mode 100644 index 08a7b2ac5b..0000000000 --- a/test/neg/bug105.scala +++ /dev/null @@ -1 +0,0 @@ -object T extends Array[Int](1); diff --git a/test/neg/bug106.check b/test/neg/bug106.check deleted file mode 100644 index b55e37ce3c..0000000000 --- a/test/neg/bug106.check +++ /dev/null @@ -1,4 +0,0 @@ -bug106.scala:2: Java class may not be used as mixin -class S extends T with Object; - ^ -one error found diff --git a/test/neg/bug106.scala b/test/neg/bug106.scala deleted file mode 100644 index bf705c9bf9..0000000000 --- a/test/neg/bug106.scala +++ /dev/null @@ -1,2 +0,0 @@ -class T extends AnyRef; -class S extends T with Object; diff --git a/test/neg/bug107.check b/test/neg/bug107.check deleted file mode 100644 index 5def0a4164..0000000000 --- a/test/neg/bug107.check +++ /dev/null @@ -1,4 +0,0 @@ -bug107.scala:4: class O needs to be abstract, since method foo in trait C is not defined -object O extends C { - ^ -one error found diff --git a/test/neg/bug107.scala b/test/neg/bug107.scala deleted file mode 100644 index 3bcb23e563..0000000000 --- a/test/neg/bug107.scala +++ /dev/null @@ -1,8 +0,0 @@ -trait C { - def foo: Int; -} -object O extends C { - def main(args: Array[String]) = { - System.out.println(foo); - } -} diff --git a/test/neg/bug108.check b/test/neg/bug108.check deleted file mode 100644 index 60330626c3..0000000000 --- a/test/neg/bug108.check +++ /dev/null @@ -1,4 +0,0 @@ -bug108.scala:3: x is already defined as value x - case x :: x => "first" - ^ -one error found diff --git a/test/neg/bug112.check b/test/neg/bug112.check deleted file mode 100644 index b01c2c6e8d..0000000000 --- a/test/neg/bug112.check +++ /dev/null @@ -1,4 +0,0 @@ -bug112.scala:6: T.A is not a legal prefix for a constructor - class D extends C; - ^ -one error found diff --git a/test/neg/bug112.scala b/test/neg/bug112.scala deleted file mode 100644 index 26a10c4e41..0000000000 --- a/test/neg/bug112.scala +++ /dev/null @@ -1,7 +0,0 @@ -object T { - class A { - class B; - } - type C = A#B; - class D extends C; -} diff --git a/test/neg/bug113.check b/test/neg/bug113.check deleted file mode 100644 index a9f699e90e..0000000000 --- a/test/neg/bug113.check +++ /dev/null @@ -1,7 +0,0 @@ -bug113.scala:3: illegal cyclic reference involving type A - type B <: A; - ^ -bug113.scala:2: only classes can have declared but undefined members - type A <: B; - ^ -two errors found diff --git a/test/neg/bug113.scala b/test/neg/bug113.scala deleted file mode 100644 index 62022b92c9..0000000000 --- a/test/neg/bug113.scala +++ /dev/null @@ -1,4 +0,0 @@ -object T { - type A <: B; - type B <: A; -} diff --git a/test/neg/bug117.check b/test/neg/bug117.check deleted file mode 100644 index f05e2e1c00..0000000000 --- a/test/neg/bug117.check +++ /dev/null @@ -1,10 +0,0 @@ -bug117.scala:2: '(' expected but '[' found. - def this[A](x: A, y: A) = { - ^ -bug117.scala:4: identifier expected but '}' found. - } - ^ -bug117.scala:5: illegal start of expression -} -^ -three errors found diff --git a/test/neg/bug117.scala b/test/neg/bug117.scala deleted file mode 100644 index 2c3cb65a08..0000000000 --- a/test/neg/bug117.scala +++ /dev/null @@ -1,5 +0,0 @@ -class C[A](x: A) { - def this[A](x: A, y: A) = { - this(x); - } -} diff --git a/test/neg/bug118.check b/test/neg/bug118.check deleted file mode 100644 index 1a44c754c6..0000000000 --- a/test/neg/bug118.check +++ /dev/null @@ -1,4 +0,0 @@ -bug118.scala:4: return outside method definition - return null; - ^ -one error found diff --git a/test/neg/bug118.scala b/test/neg/bug118.scala deleted file mode 100644 index 45f3ff6076..0000000000 --- a/test/neg/bug118.scala +++ /dev/null @@ -1,6 +0,0 @@ -class C(y: Int) { - def this() = { - this(1); - return null; - } -} diff --git a/test/neg/bug122.check b/test/neg/bug122.check deleted file mode 100644 index 9c49271882..0000000000 --- a/test/neg/bug122.check +++ /dev/null @@ -1,7 +0,0 @@ -bug122.scala:2: recursive value v$ needs type - val List(v:int,2) = List(2,v:int); - ^ -bug122.scala:3: recursive value ds$0$ needs type - val Pair(a:int,b:int) = Pair(1,a); - ^ -two errors found diff --git a/test/neg/bug122.scala b/test/neg/bug122.scala deleted file mode 100644 index f00c6874b8..0000000000 --- a/test/neg/bug122.scala +++ /dev/null @@ -1,4 +0,0 @@ -class L{ - val List(v:int,2) = List(2,v:int); - val Pair(a:int,b:int) = Pair(1,a); -} diff --git a/test/neg/bug128_129.check b/test/neg/bug128_129.check deleted file mode 100644 index 79b20ec4a5..0000000000 --- a/test/neg/bug128_129.check +++ /dev/null @@ -1,10 +0,0 @@ -bug128_129.scala:3: '=' expected but identifier found. - val x | 1 = 2; // not allowed - ^ -bug128_129.scala:3: illegal start of expression - val x | 1 = 2; // not allowed - ^ -bug128_129.scala:10: recursive patterns not allowed - case PT(a@PT(a)) => // not allowed - ^ -three errors found diff --git a/test/neg/bug128_129.scala b/test/neg/bug128_129.scala deleted file mode 100644 index afe4b8f332..0000000000 --- a/test/neg/bug128_129.scala +++ /dev/null @@ -1,15 +0,0 @@ -object Test { - def foo:int = { - val x | 1 = 2; // not allowed - x - } - - class Bar { - case class PT(x: PT) { - def foo(x: Any) = x match { - case PT(a@PT(a)) => // not allowed - } - } - } - -} diff --git a/test/neg/bug136.check b/test/neg/bug136.check deleted file mode 100644 index ea23cb313a..0000000000 --- a/test/neg/bug136.check +++ /dev/null @@ -1,9 +0,0 @@ -bug136.scala:5: type mismatch; - found : Bar - required: Foo - val foo2: Foo = bar; - ^ -bug136.scala:7: object bar does not implement Foo -object bar: Foo { - ^ -two errors found diff --git a/test/neg/bug144.check b/test/neg/bug144.check deleted file mode 100644 index 3342654b90..0000000000 --- a/test/neg/bug144.check +++ /dev/null @@ -1,4 +0,0 @@ -bug144.scala:2: trait I is inherited twice -class C with I with I; - ^ -one error found diff --git a/test/neg/bug144.scala b/test/neg/bug144.scala deleted file mode 100644 index 5702ed7224..0000000000 --- a/test/neg/bug144.scala +++ /dev/null @@ -1,2 +0,0 @@ -trait I; -class C with I with I; diff --git a/test/neg/bug145.check b/test/neg/bug145.check deleted file mode 100644 index 14e8334c0f..0000000000 --- a/test/neg/bug145.check +++ /dev/null @@ -1,4 +0,0 @@ -bug145.scala:8: symbol accessed from super may not be abstract - abstract override def foo(x: T): Int = super[J].foo(x) + 1; - ^ -one error found diff --git a/test/neg/bug145.scala b/test/neg/bug145.scala deleted file mode 100644 index da66ddba05..0000000000 --- a/test/neg/bug145.scala +++ /dev/null @@ -1,17 +0,0 @@ -class B[T] { - def foo(x: T): Int = 1; -} -trait J[T] { - def foo(x: T): Int; -} -trait I[T] extends B[T] with J[T] { - abstract override def foo(x: T): Int = super[J].foo(x) + 1; -} -class C extends B[Int] { - override def foo(x: Int): Int = x; -} -class D extends C with I[Int]; -object T with Application { - System.out.println((new D).foo(3)); -} - diff --git a/test/neg/bug152.check b/test/neg/bug152.check deleted file mode 100644 index 7b1f3262ce..0000000000 --- a/test/neg/bug152.check +++ /dev/null @@ -1,4 +0,0 @@ -bug152.scala:5: type foo.type escapes its defining scope as part of java.lang.Object with scala.ScalaObject { def a: foo.T } -class Bar(foo: Foo) { - ^ -one error found diff --git a/test/neg/bug152.scala b/test/neg/bug152.scala deleted file mode 100644 index c35fe00012..0000000000 --- a/test/neg/bug152.scala +++ /dev/null @@ -1,7 +0,0 @@ -abstract class Foo { - type T; -} - -class Bar(foo: Foo) { - def a: foo.T = a; -} diff --git a/test/neg/bug169.check b/test/neg/bug169.check deleted file mode 100644 index 4bd0c592fc..0000000000 --- a/test/neg/bug169.check +++ /dev/null @@ -1,7 +0,0 @@ -bug169.scala:8: not found: type TIMEOUT - case TIMEOUT() => { - ^ -bug169.scala:9: value ! is not a member of java.lang.Process - Child ! 'foo; - ^ -two errors found diff --git a/test/neg/bug169.scala b/test/neg/bug169.scala deleted file mode 100644 index 28f1853a68..0000000000 --- a/test/neg/bug169.scala +++ /dev/null @@ -1,14 +0,0 @@ -import scala.concurrent.Process._; - -class D() { - def start_listener(Child:Process) = { - var running = true; - while (running) { - receiveWithin(0) { - case TIMEOUT() => { - Child ! 'foo; - } - } - } - } -} diff --git a/test/neg/bug170.check b/test/neg/bug170.check deleted file mode 100644 index 544ed9591b..0000000000 --- a/test/neg/bug170.check +++ /dev/null @@ -1,4 +0,0 @@ -bug170.scala:9: class D needs to be abstract, since method foo in class D is marked `abstract' and `override' and overrides an incomplete superclass member in J -class D extends J with I { - ^ -one error found diff --git a/test/neg/bug170.scala b/test/neg/bug170.scala deleted file mode 100644 index 8e66a2e451..0000000000 --- a/test/neg/bug170.scala +++ /dev/null @@ -1,15 +0,0 @@ -trait J { - def foo(): Unit; -} - -trait I with J { - override def foo(): Unit = (); -} - -class D extends J with I { - abstract override def foo(): Unit = super.foo(); -} - -object Test with Application { - (new D).foo(); -} diff --git a/test/neg/bug191.check b/test/neg/bug191.check deleted file mode 100644 index 82681f970b..0000000000 --- a/test/neg/bug191.check +++ /dev/null @@ -1,6 +0,0 @@ -bug191.scala:11: type mismatch; - found : B.this.C - required: B.this.C - foo(new C); - ^ -one error found diff --git a/test/neg/bug191.scala b/test/neg/bug191.scala deleted file mode 100644 index 21e45b88e0..0000000000 --- a/test/neg/bug191.scala +++ /dev/null @@ -1,15 +0,0 @@ -class A { - private class C { - def print = Console.println("A.C"); - } - def foo(c: C) = c.print; -} -class B extends A { - class C { - def show = Console.println("B.C"); - } - foo(new C); -} -object Main with Application { - val b = new B; -} diff --git a/test/neg/bug228.check b/test/neg/bug228.check deleted file mode 100644 index a099f9fa0e..0000000000 --- a/test/neg/bug228.check +++ /dev/null @@ -1,4 +0,0 @@ -bug228.scala:11: constructor java.lang.reflect.AccessibleObject cannot be accessed in Foo - val o = new AccessibleObject; - ^ -one error found diff --git a/test/neg/bug228.scala b/test/neg/bug228.scala deleted file mode 100644 index 55e4a8f818..0000000000 --- a/test/neg/bug228.scala +++ /dev/null @@ -1,13 +0,0 @@ -import java.lang.reflect.AccessibleObject; - -class Test extends AccessibleObject { - - val o = new AccessibleObject; - -} - -class Foo { - - val o = new AccessibleObject; - -} diff --git a/test/neg/bug236.check b/test/neg/bug236.check deleted file mode 100644 index 6c1b463d68..0000000000 --- a/test/neg/bug236.check +++ /dev/null @@ -1,4 +0,0 @@ -bug236.scala:4: constructor A of type ()A cannot be applied to (scala.Int) - class B extends A(1) { - ^ -one error found diff --git a/test/neg/bug236.scala b/test/neg/bug236.scala deleted file mode 100644 index d109bab616..0000000000 --- a/test/neg/bug236.scala +++ /dev/null @@ -1,6 +0,0 @@ - class A { - private def this(i: Int) = this(); - } - class B extends A(1) { - val a = new A(1); - } diff --git a/test/neg/bug25.check b/test/neg/bug25.check deleted file mode 100644 index c620e8498f..0000000000 --- a/test/neg/bug25.check +++ /dev/null @@ -1,4 +0,0 @@ -bug25.scala:5: constructor javax.rmi.PortableRemoteObject cannot be accessed in javax.rmi -class A extends javax.rmi.PortableRemoteObject(); - ^ -one error found diff --git a/test/neg/bug38.check b/test/neg/bug38.check deleted file mode 100644 index 8f053cfaa8..0000000000 --- a/test/neg/bug38.check +++ /dev/null @@ -1,7 +0,0 @@ -bug38.scala:3: * is not a member of scala.xml - import scala.xml.* ; // does not work - ^ -bug38.scala:7: not found: type Element - val foo = new Element { def getName = "hallo"; def getChildren = Nil; def getAttribs = new HashMap[String,String] }; - ^ -two errors found diff --git a/test/neg/bug38.scala b/test/neg/bug38.scala deleted file mode 100644 index 8f31ad9a0e..0000000000 --- a/test/neg/bug38.scala +++ /dev/null @@ -1,11 +0,0 @@ -object testElem { - - import scala.xml.* ; // does not work - //import scala.xml.Element ; //works - - def main( args:Array[String] ) = { - val foo = new Element { def getName = "hallo"; def getChildren = Nil; def getAttribs = new HashMap[String,String] }; - () - } - -} diff --git a/test/neg/bug40.check b/test/neg/bug40.check deleted file mode 100644 index fd46531832..0000000000 --- a/test/neg/bug40.check +++ /dev/null @@ -1,10 +0,0 @@ -bug40.scala:2: 'val' expected but integer literal found. - val v = for (1 == 0) yield 1; - ^ -bug40.scala:3: illegal start of pattern -} -^ -bug40.scala:2: '<-' expected but '}' found. - val v = for (1 == 0) yield 1; - ^ -three errors found diff --git a/test/neg/bug40.scala b/test/neg/bug40.scala deleted file mode 100644 index a60a12531d..0000000000 --- a/test/neg/bug40.scala +++ /dev/null @@ -1,3 +0,0 @@ -object M { - val v = for (1 == 0) yield 1; -} diff --git a/test/neg/bug43.check b/test/neg/bug43.check deleted file mode 100644 index ffc0e8c0a2..0000000000 --- a/test/neg/bug43.check +++ /dev/null @@ -1,4 +0,0 @@ -bug43.scala:1: class C takes type parameters. -case class C[A >: C](x: A) {} - ^ -one error found diff --git a/test/neg/bug43.scala b/test/neg/bug43.scala deleted file mode 100644 index 013a74cc97..0000000000 --- a/test/neg/bug43.scala +++ /dev/null @@ -1 +0,0 @@ -case class C[A >: C](x: A) {} diff --git a/test/neg/bug44.check b/test/neg/bug44.check deleted file mode 100644 index d40af82749..0000000000 --- a/test/neg/bug44.check +++ /dev/null @@ -1,6 +0,0 @@ -bug44.scala:2: type mismatch; - found : java.lang.Object - required: java.lang.Object { def t: scala.Int } - var x: Object { def t: Int; } = new Object() { - ^ -one error found diff --git a/test/neg/bug44.scala b/test/neg/bug44.scala deleted file mode 100644 index 7989838250..0000000000 --- a/test/neg/bug44.scala +++ /dev/null @@ -1,5 +0,0 @@ -abstract class C { - var x: Object { def t: Int; } = new Object() { - def t: Int = 1; - } -} diff --git a/test/neg/bug45.check b/test/neg/bug45.check deleted file mode 100644 index 530bd78c42..0000000000 --- a/test/neg/bug45.check +++ /dev/null @@ -1,6 +0,0 @@ -bug45.scala:4: type mismatch; - found : scala.AllRef - required: Int - def foo[Int](x: Int): Int = null; - ^ -one error found diff --git a/test/neg/bug45.scala b/test/neg/bug45.scala deleted file mode 100644 index 8e5e55c274..0000000000 --- a/test/neg/bug45.scala +++ /dev/null @@ -1,10 +0,0 @@ -object Main { - - def main(args: Array[String]) = { - def foo[Int](x: Int): Int = null; - val y1 = null; - val y2 = foo(2); - () - } - -} diff --git a/test/neg/bug47.check b/test/neg/bug47.check deleted file mode 100644 index b0fb48f909..0000000000 --- a/test/neg/bug47.check +++ /dev/null @@ -1,7 +0,0 @@ -bug47.scala:8: malformed formal parameter list - val factory = new HashMap( String, Elem* => Elem ) - ^ -bug47.scala:9: ';' expected but '.' found. - factory.put("MySuperXML_Tag", MySuperXML_Tag ) - ^ -two errors found diff --git a/test/neg/bug47.scala b/test/neg/bug47.scala deleted file mode 100644 index fac1037802..0000000000 --- a/test/neg/bug47.scala +++ /dev/null @@ -1,13 +0,0 @@ -// this is not possible - -object Test { - - class Elem; - class MySuperXML_Tag( children: Elem* ) extends Elem; - - val factory = new HashMap( String, Elem* => Elem ) - factory.put("MySuperXML_Tag", MySuperXML_Tag ) -// ^ -// error "methods with repeated args have to be -// fully applied" -} diff --git a/test/neg/bug52.check b/test/neg/bug52.check deleted file mode 100644 index cd4b5eccce..0000000000 --- a/test/neg/bug52.check +++ /dev/null @@ -1,6 +0,0 @@ -bug52.scala:3: type mismatch; - found : scala.Any - required: scala.Int - val y: Int = x(2); - ^ -one error found diff --git a/test/neg/bug52.scala b/test/neg/bug52.scala deleted file mode 100644 index e171022eb6..0000000000 --- a/test/neg/bug52.scala +++ /dev/null @@ -1,4 +0,0 @@ -object test { - val x = if (2 == 3) (x: Int => 0) else (x: Int => ""); - val y: Int = x(2); -} diff --git a/test/neg/bug58.check b/test/neg/bug58.check deleted file mode 100644 index 0dff5495cf..0000000000 --- a/test/neg/bug58.check +++ /dev/null @@ -1,4 +0,0 @@ -bug58.scala:1: type x.type escapes its defining scope as part of x.C with scala.ScalaObject -class A(x: B) extends x.C {} - ^ -one error found diff --git a/test/neg/bug58.scala b/test/neg/bug58.scala deleted file mode 100644 index d7b5d431bb..0000000000 --- a/test/neg/bug58.scala +++ /dev/null @@ -1,4 +0,0 @@ -class A(x: B) extends x.C {} -class B { - class C {} -} diff --git a/test/neg/bug63.check b/test/neg/bug63.check deleted file mode 100644 index 51b7c65bd1..0000000000 --- a/test/neg/bug63.check +++ /dev/null @@ -1,4 +0,0 @@ -bug63.scala:2: covariant type T occurs in contravariant position in type T of value elem - def set(elem: T): Unit = (); - ^ -one error found diff --git a/test/neg/bug63.scala b/test/neg/bug63.scala deleted file mode 100644 index fc33f11e61..0000000000 --- a/test/neg/bug63.scala +++ /dev/null @@ -1,3 +0,0 @@ -class C[+T] { - def set(elem: T): Unit = (); -} diff --git a/test/neg/bug67.check b/test/neg/bug67.check deleted file mode 100644 index 1a1990c311..0000000000 --- a/test/neg/bug67.check +++ /dev/null @@ -1,11 +0,0 @@ -bug67.scala:15: constructor cannot be instantiated to expected type; - found : D.this.ITree[A?,B?] - required: D.this.InsertTree[A,B] - val ITree(t1) = insert_1(key, value, tree, s); - ^ -bug67.scala:19: no type parameters for method INode of type [A,B](D.this.Tree[A,B],scala.Int,scala.Int)D.this.INode[A,B] exist so that it can be applied to arguments (D.this.Tree[A,B],scala.Int,scala.Int) - --- because --- -result type D.this.INode[A,B] is incompatible with expected type D.this.InsertTree[A,B] - INode(t0,1,s); - ^ -two errors found diff --git a/test/neg/bug67.scala b/test/neg/bug67.scala deleted file mode 100644 index 48229defaa..0000000000 --- a/test/neg/bug67.scala +++ /dev/null @@ -1,21 +0,0 @@ -class D[A <: Ord[A],B] { - abstract class Tree[A <: Ord[A],B](); - case class Node[A,B](key:A,value:B,smaller:Tree[A,B],bigger:Tree[A,B]) - extends Tree[A,B]; - case class Nil[A,B]() extends Tree[A,B]; - - - abstract case class InsertTree[A,B](); - case class ITree[A,B](t:Tree[A,B]); // forgot extends InsertTree[A,B]; - case class INode[A,B](t:Tree[A,B],height:int,size:int); // forgot extends InsertTree[A,B]; - val tree:Tree[A,B] = Nil(); - val s = 0; - - def insert(key:A, value:B) = { - val ITree(t1) = insert_1(key, value, tree, s); - } - - def insert_1(key:A, value:B, t0:Tree[A,B], s:int):InsertTree[A,B] = { - INode(t0,1,s); - } -} diff --git a/test/neg/bug72.check b/test/neg/bug72.check deleted file mode 100644 index 5338fcc2c6..0000000000 --- a/test/neg/bug72.check +++ /dev/null @@ -1,4 +0,0 @@ -bug72.scala:5: object scala.collection.mutable.Set of type scala.collection.mutable.Set cannot be applied to (java.lang.String,java.lang.String,java.lang.String,java.lang.String,java.lang.String) with expected result type scala.collection.mutable.Set[java.lang.String] - val weekDays : Set[String] = Set("Mon", "Tue", "Wed", "Thu", "Fri"); - ^ -one error found diff --git a/test/neg/bug72.scala b/test/neg/bug72.scala deleted file mode 100644 index 94d0b97e2b..0000000000 --- a/test/neg/bug72.scala +++ /dev/null @@ -1,7 +0,0 @@ -import scala.collection.mutable._; - -object Composites { - def main(args: Array[String]) = { - val weekDays : Set[String] = Set("Mon", "Tue", "Wed", "Thu", "Fri"); - } -} diff --git a/test/neg/bug74.check b/test/neg/bug74.check deleted file mode 100644 index dec69cd35f..0000000000 --- a/test/neg/bug74.check +++ /dev/null @@ -1,4 +0,0 @@ -bug74.scala:2: Int is not an enclosing class - def f = Int.super.hashCode; - ^ -one error found diff --git a/test/neg/bug74.scala b/test/neg/bug74.scala deleted file mode 100644 index 8e1301e5b9..0000000000 --- a/test/neg/bug74.scala +++ /dev/null @@ -1,3 +0,0 @@ -class A { - def f = Int.super.hashCode; -} diff --git a/test/neg/bug75.check b/test/neg/bug75.check deleted file mode 100644 index a988ebe40c..0000000000 --- a/test/neg/bug75.check +++ /dev/null @@ -1,5 +0,0 @@ -bug75.scala:6: value tree of type F.this.Nil[A] - cannot override value tree in class F of type scala.AllRef - new F[A](){ override val tree=t;}; - ^ -one error found diff --git a/test/neg/bug75.scala b/test/neg/bug75.scala deleted file mode 100644 index b0dc4408e1..0000000000 --- a/test/neg/bug75.scala +++ /dev/null @@ -1,12 +0,0 @@ -class F[A]() { - case class Nil[B]() {} - - val tree = null; - protected def mkF[A](t:Nil[A]) = - new F[A](){ override val tree=t;}; - - def update = { - mkF(Nil()); - } - -} diff --git a/test/neg/bug86.check b/test/neg/bug86.check deleted file mode 100644 index 9ef489429c..0000000000 --- a/test/neg/bug86.check +++ /dev/null @@ -1,4 +0,0 @@ -bug86.scala:4: trait Foo is abstract, so it cannot be instantiated - new Foo(); - ^ -one error found diff --git a/test/neg/bug86.scala b/test/neg/bug86.scala deleted file mode 100644 index a11f49aa90..0000000000 --- a/test/neg/bug86.scala +++ /dev/null @@ -1,7 +0,0 @@ -trait Foo(); - -object foo { - new Foo(); - new Foo(){}; - new Foo(){0}; -} diff --git a/test/neg/bug87.check b/test/neg/bug87.check deleted file mode 100644 index 595ba64ee4..0000000000 --- a/test/neg/bug87.check +++ /dev/null @@ -1,4 +0,0 @@ -bug87.scala:2: type C is not a member of foo - new foo.C; - ^ -one error found diff --git a/test/neg/bug87.scala b/test/neg/bug87.scala deleted file mode 100644 index 8e9a84928f..0000000000 --- a/test/neg/bug87.scala +++ /dev/null @@ -1,3 +0,0 @@ -object foo { - new foo.C; -} diff --git a/test/neg/bug95.check b/test/neg/bug95.check deleted file mode 100644 index 8dd3507cd9..0000000000 --- a/test/neg/bug95.check +++ /dev/null @@ -1,15 +0,0 @@ -bug95.scala:1: illegal inheritance from sealed class -class C extends AnyVal; - ^ -bug95.scala:1: illegal inheritance; - scala.AnyVal does not conform to scala.ScalaObject's supertype -class C extends AnyVal; - ^ -bug95.scala:2: illegal inheritance from sealed class -class T extends Unit; - ^ -bug95.scala:2: illegal inheritance; - scala.Unit does not conform to scala.ScalaObject's supertype -class T extends Unit; - ^ -four errors found diff --git a/test/neg/bug95.scala b/test/neg/bug95.scala deleted file mode 100644 index 9893d7f5a4..0000000000 --- a/test/neg/bug95.scala +++ /dev/null @@ -1,2 +0,0 @@ -class C extends AnyVal; -class T extends Unit; diff --git a/test/neg/bug96.check b/test/neg/bug96.check deleted file mode 100644 index 1ceaa84a94..0000000000 --- a/test/neg/bug96.check +++ /dev/null @@ -1,4 +0,0 @@ -bug96.scala:5: method foo overrides nothing - override def foo(def x: Any): Object = null; - ^ -one error found diff --git a/test/neg/bug96.scala b/test/neg/bug96.scala deleted file mode 100644 index 4694e9edc7..0000000000 --- a/test/neg/bug96.scala +++ /dev/null @@ -1,6 +0,0 @@ -class A { - def foo(x: Any): Object = null; -} -class B extends A { - override def foo(def x: Any): Object = null; -} diff --git a/test/neg/bug97.check b/test/neg/bug97.check deleted file mode 100644 index cc620b3650..0000000000 --- a/test/neg/bug97.check +++ /dev/null @@ -1,4 +0,0 @@ -bug97.scala:3: expected pattern type scala.Any does not conform to sequence trait scala.List - case List(y) => "zero" - ^ -one error found diff --git a/test/neg/bug97.scala b/test/neg/bug97.scala deleted file mode 100644 index c9bfebcfa0..0000000000 --- a/test/neg/bug97.scala +++ /dev/null @@ -1,7 +0,0 @@ -object Main { - def foo(x: Any) = x match { - case List(y) => "zero" - case y :: ys => "one" - } - def main(args: Array[String]) = System.out.println(List(1, 2)); -} diff --git a/test/neg/constrparams.check b/test/neg/constrparams.check deleted file mode 100644 index 6aef035af0..0000000000 --- a/test/neg/constrparams.check +++ /dev/null @@ -1,9 +0,0 @@ -constrparams.scala:4: type mismatch; - found : scala.AllRef - required: x.t - private val z: x.t = null; //error - ^ -constrparams.scala:1: type x.type escapes its defining scope as part of java.lang.Object with scala.ScalaObject { type t, val y$: x.type, def y: x.type, val z$: x.t, def z: x.t } -abstract class C(x: C) { - ^ -two errors found diff --git a/test/neg/constrparams.scala b/test/neg/constrparams.scala deleted file mode 100644 index f6b037b312..0000000000 --- a/test/neg/constrparams.scala +++ /dev/null @@ -1,6 +0,0 @@ -abstract class C(x: C) { - type t; - private val y: x.type = x; - private val z: x.t = null; //error -} - diff --git a/test/neg/cyclic.check b/test/neg/cyclic.check deleted file mode 100644 index 2c23c8b26a..0000000000 --- a/test/neg/cyclic.check +++ /dev/null @@ -1,4 +0,0 @@ -cyclic.scala:3: illegal cyclic reference involving type T - type T = List[T]; - ^ -one error found diff --git a/test/neg/cyclic.scala b/test/neg/cyclic.scala deleted file mode 100644 index 423fa70094..0000000000 --- a/test/neg/cyclic.scala +++ /dev/null @@ -1,6 +0,0 @@ -abstract class test { - - type T = List[T]; - type U <: List[U]; - -} diff --git a/test/neg/dep.check b/test/neg/dep.check deleted file mode 100644 index f6a2361121..0000000000 --- a/test/neg/dep.check +++ /dev/null @@ -1,4 +0,0 @@ -dep.scala:5: type x.type escapes its defining scope as part of x.t - def foo(x: C, y: x.t): Object = null; - ^ -one error found diff --git a/test/neg/dep.scala b/test/neg/dep.scala deleted file mode 100644 index 83c005b860..0000000000 --- a/test/neg/dep.scala +++ /dev/null @@ -1,6 +0,0 @@ -object Test { - abstract class C { - type t; - } - def foo(x: C, y: x.t): Object = null; -}
\ No newline at end of file diff --git a/test/neg/imports.check b/test/neg/imports.check deleted file mode 100644 index 911d300c6f..0000000000 --- a/test/neg/imports.check +++ /dev/null @@ -1,28 +0,0 @@ -imports.scala:26: not found: value v_coi - def method: C_coi = v_coi; - ^ -imports.scala:27: not found: value v_coi - val field: C_coi = v_coi; - ^ -imports.scala:29: not found: value v_coi - check("C_coi", "v_coi ", v_coi); - ^ -imports.scala:47: not found: value v_cio - def method: C_cio = v_cio; - ^ -imports.scala:48: not found: value v_cio - val field: C_cio = v_cio; - ^ -imports.scala:50: not found: value v_cio - check("C_cio", "v_cio ", v_cio); - ^ -imports.scala:136: not found: value v_oci - def method: C_oci = v_oci; - ^ -imports.scala:137: not found: value v_oci - val field: C_oci = v_oci; - ^ -imports.scala:139: not found: value v_oci - check("C_oci", "v_oci ", v_oci); - ^ -9 errors found diff --git a/test/neg/imports.scala b/test/neg/imports.scala deleted file mode 100644 index 806253ffb1..0000000000 --- a/test/neg/imports.scala +++ /dev/null @@ -1,161 +0,0 @@ -//############################################################################ -// Import statements -//############################################################################ -// $Id$ - -//############################################################################ - -object checker { - def check(where: String, what: String, value: Any): Unit = { - System.out.print("In " + where + ", " + what + ".toString() returns "); - System.out.flush(); - val string: String = if (value == null) "null" else value.toString(); - val test = if (string == where) "ok" else "KO"; - System.out.println(string + " -> " + test); - System.out.flush(); - } -} - -import checker.check; - -//############################################################################ - -class C_coi() { - o_coi.v_coi = this; - override def toString(): String = "C_coi"; - def method: C_coi = v_coi; - val field: C_coi = v_coi; - - check("C_coi", "v_coi ", v_coi); - check("C_coi", "field ", field); - check("C_coi", "method", method); - System.out.println(); -} - -object o_coi { - var v_coi: C_coi = null; - new C_coi(); -} - -import o_coi.v_coi; - -//############################################################################ - -class C_cio() { - o_cio.v_cio = this; - override def toString(): String = "C_cio"; - def method: C_cio = v_cio; - val field: C_cio = v_cio; - - check("C_cio", "v_cio ", v_cio); - check("C_cio", "field ", field); - check("C_cio", "method", method); - System.out.println(); -} - -import o_cio.v_cio; - -object o_cio { - var v_cio: C_cio = null; - new C_cio(); -} - -//############################################################################ - -import o_ico.v_ico; - -class C_ico() { - o_ico.v_ico = this; - override def toString(): String = "C_ico"; - def method: C_ico = v_ico; - val field: C_ico = v_ico; - - check("C_ico", "v_ico ", v_ico); - check("C_ico", "field ", field); - check("C_ico", "method", method); - System.out.println(); -} - -object o_ico { - var v_ico: C_ico = null; - new C_ico(); -} - -//############################################################################ - -import o_ioc.v_ioc; - -object o_ioc { - var v_ioc: C_ioc = null; - new C_ioc(); -} - -class C_ioc() { - o_ioc.v_ioc = this; - override def toString(): String = "C_ioc"; - def method: C_ioc = v_ioc; - val field: C_ioc = v_ioc; - - check("C_ioc", "v_ioc ", v_ioc); - check("C_ioc", "field ", field); - check("C_ioc", "method", method); - System.out.println(); -} - -//############################################################################ - -object o_oic { - var v_oic: C_oic = null; - new C_oic(); -} - -import o_oic.v_oic; - -class C_oic() { - o_oic.v_oic = this; - override def toString(): String = "C_oic"; - def method: C_oic = v_oic; - val field: C_oic = v_oic; - - check("C_oic", "v_oic ", v_oic); - check("C_oic", "field ", field); - check("C_oic", "method", method); - System.out.println(); -} - -//############################################################################ - -object o_oci { - var v_oci: C_oci = null; - new C_oci(); -} - -class C_oci() { - o_oci.v_oci = this; - override def toString(): String = "C_oci"; - def method: C_oci = v_oci; - val field: C_oci = v_oci; - - check("C_oci", "v_oci ", v_oci); - check("C_oci", "field ", field); - check("C_oci", "method", method); - System.out.println(); -} - -import o_oci.v_oci; - -//############################################################################ - -object Test { - def main(args: Array[String]): Unit = { - o_coi; - o_cio; - o_ico; - o_ioc; - o_oic; - o_oci; - () - } -} - -//############################################################################ diff --git a/test/neg/matthias2.check b/test/neg/matthias2.check deleted file mode 100644 index b9a6d799f9..0000000000 --- a/test/neg/matthias2.check +++ /dev/null @@ -1,4 +0,0 @@ -matthias2.scala:7: illegal cyclic reference involving value y - override val y: T; - ^ -one error found diff --git a/test/neg/matthias2.scala b/test/neg/matthias2.scala deleted file mode 100644 index ab9296798f..0000000000 --- a/test/neg/matthias2.scala +++ /dev/null @@ -1,8 +0,0 @@ -class A() { - val x: A = this; - val y: x.type = x; - type T = y.type; -} -abstract class B() extends A() { - override val y: T; -} diff --git a/test/neg/michel2.check b/test/neg/michel2.check deleted file mode 100644 index 3317c40f61..0000000000 --- a/test/neg/michel2.check +++ /dev/null @@ -1,4 +0,0 @@ -michel2.scala:1: Java class may not be used as mixin -class A() extends java.lang.Object() with java.util.Random() { } - ^ -one error found diff --git a/test/neg/michel2.scala b/test/neg/michel2.scala deleted file mode 100644 index 4afbb30852..0000000000 --- a/test/neg/michel2.scala +++ /dev/null @@ -1 +0,0 @@ -class A() extends java.lang.Object() with java.util.Random() { } diff --git a/test/neg/overlapping.check b/test/neg/overlapping.check deleted file mode 100644 index 68251d32f7..0000000000 --- a/test/neg/overlapping.check +++ /dev/null @@ -1,6 +0,0 @@ -overlapping.scala:9: overlapping overloaded alternatives; the two following alternatives of method foo have the same erasure: ()Any - alternative 1: def foo: X.this.I - alternative 2: def foo: X.this.J - def foo: J; - ^ -one error found diff --git a/test/neg/overlapping.scala b/test/neg/overlapping.scala deleted file mode 100644 index 1c4a82ef79..0000000000 --- a/test/neg/overlapping.scala +++ /dev/null @@ -1,10 +0,0 @@ -// Tests detection of overlapping erased signatures - -// $Id$ - -trait X { - type I; - type J; - def foo: I; - def foo: J; -} diff --git a/test/neg/overload.check b/test/neg/overload.check deleted file mode 100644 index 011f10de7f..0000000000 --- a/test/neg/overload.check +++ /dev/null @@ -1,19 +0,0 @@ -overload.scala:15: x is already defined as value x in class Test - var x: int = 3; - ^ -overload.scala:5: foo is already defined in local scope - def foo() = 2; - ^ -overload.scala:11: ambiguous reference to overloaded definition, -both method foo: ()scala.Int -and method foo: ()scala.Int -match argument types () - foo(); - ^ -overload.scala:13: ambiguous reference to overloaded definition, -both value x$: scala.Int -and variable x$: scala.Int -match expected type scala.Int - val x: int = 1; - ^ -four errors found diff --git a/test/neg/overload.scala b/test/neg/overload.scala deleted file mode 100644 index 4add2e68bb..0000000000 --- a/test/neg/overload.scala +++ /dev/null @@ -1,17 +0,0 @@ -class Test { - - { - def foo() = 1; - def foo() = 2; - foo() - } - - def foo() = 1; - def foo() = 2; - foo(); - - val x: int = 1; - def x(): int = 2; - var x: int = 3; - -} diff --git a/test/neg/protected.check b/test/neg/protected.check deleted file mode 100644 index 23a5865dab..0000000000 --- a/test/neg/protected.check +++ /dev/null @@ -1,5 +0,0 @@ -protected.scala:11: error overriding method y in class A; - method y in class B has weaker access privileges; it should not be protected - protected def y(): int; - ^ -one error found diff --git a/test/neg/protected.scala b/test/neg/protected.scala deleted file mode 100644 index 668317e139..0000000000 --- a/test/neg/protected.scala +++ /dev/null @@ -1,14 +0,0 @@ -abstract class A { - - protected def x(): int; - def y(): int; - -} - -abstract class B extends A { - - def x(): int; - protected def y(): int; - -} - diff --git a/test/neg/refine.check b/test/neg/refine.check deleted file mode 100644 index 18f4fad76a..0000000000 --- a/test/neg/refine.check +++ /dev/null @@ -1,6 +0,0 @@ -refine.scala:3: type mismatch; - found : java.lang.Object - required: java.lang.Object { def t(): java.lang.String } - val x: Object { def t(): String } = new Object { - ^ -one error found diff --git a/test/neg/refine.scala b/test/neg/refine.scala deleted file mode 100644 index 5d175f26f5..0000000000 --- a/test/neg/refine.scala +++ /dev/null @@ -1,6 +0,0 @@ -object test { - - val x: Object { def t(): String } = new Object { - def t(): String = "1"; - } -} diff --git a/test/neg/seqtest.check b/test/neg/seqtest.check deleted file mode 100644 index 42d3a71a9c..0000000000 --- a/test/neg/seqtest.check +++ /dev/null @@ -1,7 +0,0 @@ -seqtest.scala:11: ambiguous reference to overloaded definition, -both method L: [a](scala.Seq[a])scala.Seq[a] -and method L: [a](a*)scala.Seq[a] -match argument types (scala.Seq[scala.Int]) - val c = L(a); - ^ -one error found diff --git a/test/neg/seqtest.scala b/test/neg/seqtest.scala deleted file mode 100644 index f61903c87b..0000000000 --- a/test/neg/seqtest.scala +++ /dev/null @@ -1,13 +0,0 @@ -object test { - - def L[a](xs: a*): Seq[a] = xs; - - def L[a](xs: Seq[a]): Seq[a] = xs; - - val a = L(1); - - val b = L(1, 2, 3); - - val c = L(a); - -} diff --git a/test/neg/stable.check b/test/neg/stable.check deleted file mode 100644 index eaa64ef62a..0000000000 --- a/test/neg/stable.check +++ /dev/null @@ -1,7 +0,0 @@ -stable.scala:10: stable identifier required, but test.y found. - type b = y.T; - ^ -stable.scala:11: stable identifier required, but test.z found. - type c = z.T; - ^ -two errors found diff --git a/test/neg/stable.scala b/test/neg/stable.scala deleted file mode 100644 index ba051cd0e4..0000000000 --- a/test/neg/stable.scala +++ /dev/null @@ -1,17 +0,0 @@ -abstract class C { type T; val next: C = this } - -object test { - - val x: C = new C { type T = int }; - var y: C = x; - def z: C = x; - - type a = x.T; - type b = y.T; - type c = z.T; - type d = x.next.next.T; - - import x.T; - - type e = T; -} diff --git a/test/neg/vincent1.check b/test/neg/vincent1.check deleted file mode 100644 index aa65a52341..0000000000 --- a/test/neg/vincent1.check +++ /dev/null @@ -1,7 +0,0 @@ -vincent1.scala:7: type x.type escapes its defining scope as part of java.lang.Object with scala.ScalaObject { type T = x.T } - class Functor(x: A) { type T = x.T } - ^ -vincent1.scala:9: type x.type escapes its defining scope as part of test.B { type T = x.T } - def functor(x: A): B { type T = x.T } = - ^ -two errors found diff --git a/test/neg/vincent1.scala b/test/neg/vincent1.scala deleted file mode 100644 index fb047305ff..0000000000 --- a/test/neg/vincent1.scala +++ /dev/null @@ -1,19 +0,0 @@ -object test { - - trait A { type T; } - - trait B { type T; } - - class Functor(x: A) { type T = x.T } - - def functor(x: A): B { type T = x.T } = - new B { - type T = x.T; - }; - - val a = new A { type T = String }; - val b = functor(a); - - val s: b.T = "coucou"; - -} |