diff options
Diffstat (limited to 'test')
32 files changed, 120 insertions, 120 deletions
diff --git a/test/files/neg/S2.check b/test/files/neg/S2.check index cb6bb9c991..0e55659ba4 100644 --- a/test/files/neg/S2.check +++ b/test/files/neg/S2.check @@ -1,7 +1,7 @@ -S2.scala:14: type z.type escapes its defining scope as part of z.Inner +./neg/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 +./neg/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/files/neg/S4.check b/test/files/neg/S4.check index 7fd616488b..c4ccb91923 100644 --- a/test/files/neg/S4.check +++ b/test/files/neg/S4.check @@ -1,4 +1,4 @@ -S4.scala:5: stable identifier required, but a found. +./neg/S4.scala:5: stable identifier required, but a found. def foo(x: a.Inner) = x; ^ one error found diff --git a/test/files/neg/S6.check b/test/files/neg/S6.check index 6303e4c8e2..3b65e06d45 100644 --- a/test/files/neg/S6.check +++ b/test/files/neg/S6.check @@ -1,4 +1,4 @@ -S6.scala:11: illegal cyclic reference involving type S +./neg/S6.scala:11: illegal cyclic reference involving type S type S <: T; ^ one error found diff --git a/test/files/neg/S7.check b/test/files/neg/S7.check index 22769d0fe7..9e0e0e16b3 100644 --- a/test/files/neg/S7.check +++ b/test/files/neg/S7.check @@ -1,4 +1,4 @@ -S7.scala:6: illegal cyclic reference involving class S7.A +./neg/S7.scala:6: illegal cyclic reference involving class S7.A class C() extends a.A() {} ^ one error found diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index 11d01ce3d9..c64b93b505 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,7 +1,7 @@ -abstract.scala:5: malformed type: A.this.T#T +./neg/abstract.scala:5: malformed type: A.this.T#T def foo1 = bar().bar(); ^ -abstract.scala:7: malformed type: A#T +./neg/abstract.scala:7: malformed type: A#T def foo3 = baz().bar(); ^ two errors found diff --git a/test/files/neg/altherr2.check b/test/files/neg/altherr2.check index 53eeb2c84c..f546f8b1bb 100644 --- a/test/files/neg/altherr2.check +++ b/test/files/neg/altherr2.check @@ -1,4 +1,4 @@ -altherr2.scala:5: ';' expected but '[' found. +./neg/altherr2.scala:5: ';' expected but '[' found. foo()[Int]; ^ one error found diff --git a/test/files/neg/altherr3.check b/test/files/neg/altherr3.check index 1ee3655290..789cc1b84e 100644 --- a/test/files/neg/altherr3.check +++ b/test/files/neg/altherr3.check @@ -1,169 +1,169 @@ -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 () +./neg/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]) +./neg/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]]) +./neg/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]]]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 () +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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]]]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 diff --git a/test/files/neg/bounds.check b/test/files/neg/bounds.check index 461086194f..c0eb0f6bed 100644 --- a/test/files/neg/bounds.check +++ b/test/files/neg/bounds.check @@ -1,4 +1,4 @@ -bounds.scala:11: type arguments [T] do not conform to constructor A's type parameter bounds [T >: I] +./neg/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/files/neg/constrparams.check b/test/files/neg/constrparams.check index 19eb56bf7f..4827895d06 100644 --- a/test/files/neg/constrparams.check +++ b/test/files/neg/constrparams.check @@ -1,4 +1,4 @@ -constrparams.scala:4: stable identifier required, but x found. +./neg/constrparams.scala:4: stable identifier required, but x found. private val z: x.t = null; //error ^ one error found diff --git a/test/files/neg/cyclic.check b/test/files/neg/cyclic.check index 2c23c8b26a..920380f591 100644 --- a/test/files/neg/cyclic.check +++ b/test/files/neg/cyclic.check @@ -1,4 +1,4 @@ -cyclic.scala:3: illegal cyclic reference involving type T +./neg/cyclic.scala:3: illegal cyclic reference involving type T type T = List[T]; ^ one error found diff --git a/test/files/neg/imports.check b/test/files/neg/imports.check index 911d300c6f..0b8e32d5aa 100644 --- a/test/files/neg/imports.check +++ b/test/files/neg/imports.check @@ -1,28 +1,28 @@ -imports.scala:26: not found: value v_coi +./neg/imports.scala:26: not found: value v_coi def method: C_coi = v_coi; ^ -imports.scala:27: not found: value v_coi +./neg/imports.scala:27: not found: value v_coi val field: C_coi = v_coi; ^ -imports.scala:29: not found: value v_coi +./neg/imports.scala:29: not found: value v_coi check("C_coi", "v_coi ", v_coi); ^ -imports.scala:47: not found: value v_cio +./neg/imports.scala:47: not found: value v_cio def method: C_cio = v_cio; ^ -imports.scala:48: not found: value v_cio +./neg/imports.scala:48: not found: value v_cio val field: C_cio = v_cio; ^ -imports.scala:50: not found: value v_cio +./neg/imports.scala:50: not found: value v_cio check("C_cio", "v_cio ", v_cio); ^ -imports.scala:136: not found: value v_oci +./neg/imports.scala:136: not found: value v_oci def method: C_oci = v_oci; ^ -imports.scala:137: not found: value v_oci +./neg/imports.scala:137: not found: value v_oci val field: C_oci = v_oci; ^ -imports.scala:139: not found: value v_oci +./neg/imports.scala:139: not found: value v_oci check("C_oci", "v_oci ", v_oci); ^ 9 errors found diff --git a/test/files/neg/matthias2.check b/test/files/neg/matthias2.check index 9bd56714cd..e3e2c0a85a 100644 --- a/test/files/neg/matthias2.check +++ b/test/files/neg/matthias2.check @@ -1,4 +1,4 @@ -matthias2.scala:7: illegal cyclic reference involving value y +./neg/matthias2.scala:7: illegal cyclic reference involving value y override val y: T; ^ one error found diff --git a/test/files/neg/michel2.check b/test/files/neg/michel2.check index 3317c40f61..9262facb0c 100644 --- a/test/files/neg/michel2.check +++ b/test/files/neg/michel2.check @@ -1,4 +1,4 @@ -michel2.scala:1: Java class may not be used as mixin +./neg/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/files/neg/protected.check b/test/files/neg/protected.check index 23a5865dab..eed6f32d00 100644 --- a/test/files/neg/protected.check +++ b/test/files/neg/protected.check @@ -1,4 +1,4 @@ -protected.scala:11: error overriding method y in class A; +./neg/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; ^ diff --git a/test/files/neg/stable.check b/test/files/neg/stable.check index eaa64ef62a..51a86f6a7e 100644 --- a/test/files/neg/stable.check +++ b/test/files/neg/stable.check @@ -1,7 +1,7 @@ -stable.scala:10: stable identifier required, but test.y found. +./neg/stable.scala:10: stable identifier required, but test.y found. type b = y.T; ^ -stable.scala:11: stable identifier required, but test.z found. +./neg/stable.scala:11: stable identifier required, but test.z found. type c = z.T; ^ two errors found diff --git a/test/files/neg/vincent1.check b/test/files/neg/vincent1.check index b9243e7560..376e21dc1b 100644 --- a/test/files/neg/vincent1.check +++ b/test/files/neg/vincent1.check @@ -1,4 +1,4 @@ -vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T } +./neg/vincent1.scala:7: 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 } = ^ one error found diff --git a/test/neg/S2.check b/test/neg/S2.check index cb6bb9c991..0e55659ba4 100644 --- a/test/neg/S2.check +++ b/test/neg/S2.check @@ -1,7 +1,7 @@ -S2.scala:14: type z.type escapes its defining scope as part of z.Inner +./neg/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 +./neg/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/S4.check b/test/neg/S4.check index 7fd616488b..c4ccb91923 100644 --- a/test/neg/S4.check +++ b/test/neg/S4.check @@ -1,4 +1,4 @@ -S4.scala:5: stable identifier required, but a found. +./neg/S4.scala:5: stable identifier required, but a found. def foo(x: a.Inner) = x; ^ one error found diff --git a/test/neg/S6.check b/test/neg/S6.check index 6303e4c8e2..3b65e06d45 100644 --- a/test/neg/S6.check +++ b/test/neg/S6.check @@ -1,4 +1,4 @@ -S6.scala:11: illegal cyclic reference involving type S +./neg/S6.scala:11: illegal cyclic reference involving type S type S <: T; ^ one error found diff --git a/test/neg/S7.check b/test/neg/S7.check index 22769d0fe7..9e0e0e16b3 100644 --- a/test/neg/S7.check +++ b/test/neg/S7.check @@ -1,4 +1,4 @@ -S7.scala:6: illegal cyclic reference involving class S7.A +./neg/S7.scala:6: illegal cyclic reference involving class S7.A class C() extends a.A() {} ^ one error found diff --git a/test/neg/abstract.check b/test/neg/abstract.check index 11d01ce3d9..c64b93b505 100644 --- a/test/neg/abstract.check +++ b/test/neg/abstract.check @@ -1,7 +1,7 @@ -abstract.scala:5: malformed type: A.this.T#T +./neg/abstract.scala:5: malformed type: A.this.T#T def foo1 = bar().bar(); ^ -abstract.scala:7: malformed type: A#T +./neg/abstract.scala:7: malformed type: A#T def foo3 = baz().bar(); ^ two errors found diff --git a/test/neg/altherr2.check b/test/neg/altherr2.check index 53eeb2c84c..f546f8b1bb 100644 --- a/test/neg/altherr2.check +++ b/test/neg/altherr2.check @@ -1,4 +1,4 @@ -altherr2.scala:5: ';' expected but '[' found. +./neg/altherr2.scala:5: ';' expected but '[' found. foo()[Int]; ^ one error found diff --git a/test/neg/altherr3.check b/test/neg/altherr3.check index 1ee3655290..789cc1b84e 100644 --- a/test/neg/altherr3.check +++ b/test/neg/altherr3.check @@ -1,169 +1,169 @@ -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 () +./neg/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]) +./neg/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]]) +./neg/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]]]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 () +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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]]]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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]) +./neg/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]]) +./neg/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 () +./neg/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]) +./neg/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 () +./neg/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 diff --git a/test/neg/bounds.check b/test/neg/bounds.check index 461086194f..c0eb0f6bed 100644 --- a/test/neg/bounds.check +++ b/test/neg/bounds.check @@ -1,4 +1,4 @@ -bounds.scala:11: type arguments [T] do not conform to constructor A's type parameter bounds [T >: I] +./neg/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/constrparams.check b/test/neg/constrparams.check index 19eb56bf7f..4827895d06 100644 --- a/test/neg/constrparams.check +++ b/test/neg/constrparams.check @@ -1,4 +1,4 @@ -constrparams.scala:4: stable identifier required, but x found. +./neg/constrparams.scala:4: stable identifier required, but x found. private val z: x.t = null; //error ^ one error found diff --git a/test/neg/cyclic.check b/test/neg/cyclic.check index 2c23c8b26a..920380f591 100644 --- a/test/neg/cyclic.check +++ b/test/neg/cyclic.check @@ -1,4 +1,4 @@ -cyclic.scala:3: illegal cyclic reference involving type T +./neg/cyclic.scala:3: illegal cyclic reference involving type T type T = List[T]; ^ one error found diff --git a/test/neg/imports.check b/test/neg/imports.check index 911d300c6f..0b8e32d5aa 100644 --- a/test/neg/imports.check +++ b/test/neg/imports.check @@ -1,28 +1,28 @@ -imports.scala:26: not found: value v_coi +./neg/imports.scala:26: not found: value v_coi def method: C_coi = v_coi; ^ -imports.scala:27: not found: value v_coi +./neg/imports.scala:27: not found: value v_coi val field: C_coi = v_coi; ^ -imports.scala:29: not found: value v_coi +./neg/imports.scala:29: not found: value v_coi check("C_coi", "v_coi ", v_coi); ^ -imports.scala:47: not found: value v_cio +./neg/imports.scala:47: not found: value v_cio def method: C_cio = v_cio; ^ -imports.scala:48: not found: value v_cio +./neg/imports.scala:48: not found: value v_cio val field: C_cio = v_cio; ^ -imports.scala:50: not found: value v_cio +./neg/imports.scala:50: not found: value v_cio check("C_cio", "v_cio ", v_cio); ^ -imports.scala:136: not found: value v_oci +./neg/imports.scala:136: not found: value v_oci def method: C_oci = v_oci; ^ -imports.scala:137: not found: value v_oci +./neg/imports.scala:137: not found: value v_oci val field: C_oci = v_oci; ^ -imports.scala:139: not found: value v_oci +./neg/imports.scala:139: not found: value v_oci check("C_oci", "v_oci ", v_oci); ^ 9 errors found diff --git a/test/neg/matthias2.check b/test/neg/matthias2.check index 9bd56714cd..e3e2c0a85a 100644 --- a/test/neg/matthias2.check +++ b/test/neg/matthias2.check @@ -1,4 +1,4 @@ -matthias2.scala:7: illegal cyclic reference involving value y +./neg/matthias2.scala:7: illegal cyclic reference involving value y override val y: T; ^ one error found diff --git a/test/neg/michel2.check b/test/neg/michel2.check index 3317c40f61..9262facb0c 100644 --- a/test/neg/michel2.check +++ b/test/neg/michel2.check @@ -1,4 +1,4 @@ -michel2.scala:1: Java class may not be used as mixin +./neg/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/protected.check b/test/neg/protected.check index 23a5865dab..eed6f32d00 100644 --- a/test/neg/protected.check +++ b/test/neg/protected.check @@ -1,4 +1,4 @@ -protected.scala:11: error overriding method y in class A; +./neg/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; ^ diff --git a/test/neg/stable.check b/test/neg/stable.check index eaa64ef62a..51a86f6a7e 100644 --- a/test/neg/stable.check +++ b/test/neg/stable.check @@ -1,7 +1,7 @@ -stable.scala:10: stable identifier required, but test.y found. +./neg/stable.scala:10: stable identifier required, but test.y found. type b = y.T; ^ -stable.scala:11: stable identifier required, but test.z found. +./neg/stable.scala:11: stable identifier required, but test.z found. type c = z.T; ^ two errors found diff --git a/test/neg/vincent1.check b/test/neg/vincent1.check index b9243e7560..376e21dc1b 100644 --- a/test/neg/vincent1.check +++ b/test/neg/vincent1.check @@ -1,4 +1,4 @@ -vincent1.scala:7: type x.type escapes its defining scope as part of test.B { type T = x.T } +./neg/vincent1.scala:7: 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 } = ^ one error found |