diff options
82 files changed, 125 insertions, 125 deletions
diff --git a/test/files/neg/abstract.check b/test/files/neg/abstract.check index a64a5da85f..f67cc2bbbd 100644 --- a/test/files/neg/abstract.check +++ b/test/files/neg/abstract.check @@ -1,17 +1,17 @@ -abstract.scala:5 error: method bar cannot be accessed in A.this.T +abstract.scala:5: error: method bar cannot be accessed in A.this.T because its instance type ()A.this.T#T contains a malformed type: A.this.T#T def foo1: A = bar().bar(); ^ -abstract.scala:6 error: type mismatch; +abstract.scala:6: error: type mismatch; found : A required: A.this.T def foo2: T = bar().baz(); ^ -abstract.scala:8 error: method bar cannot be accessed in A +abstract.scala:8: error: method bar cannot be accessed in A because its instance type ()A#T contains a malformed type: A#T def foo4: A = baz().bar(); ^ -abstract.scala:9 error: type mismatch; +abstract.scala:9: error: type mismatch; found : A required: A.this.T def foo5: T = baz().baz(); diff --git a/test/files/neg/accesses.check b/test/files/neg/accesses.check index 64cd0c4e8b..a7fe868f2b 100644 --- a/test/files/neg/accesses.check +++ b/test/files/neg/accesses.check @@ -1,16 +1,16 @@ -accesses.scala:23 error: error overriding method f2 in class A of type => scala.Unit; +accesses.scala:23: error: error overriding method f2 in class A of type => scala.Unit; method f2 has weaker access privileges; it should not be private private def f2: unit = () ^ -accesses.scala:24 error: error overriding method f3 in class A of type => scala.Unit; +accesses.scala:24: error: error overriding method f3 in class A of type => scala.Unit; method f3 has weaker access privileges; it should be at least protected private[p2] def f3: unit = () ^ -accesses.scala:25 error: error overriding method f4 in class A of type => scala.Unit; +accesses.scala:25: error: error overriding method f4 in class A of type => scala.Unit; method f4 has weaker access privileges; it should be at least private[p1] private[p2] def f4: unit ^ -accesses.scala:26 error: error overriding method f5 in class A of type => scala.Unit; +accesses.scala:26: error: error overriding method f5 in class A of type => scala.Unit; method f5 has weaker access privileges; it should be at least protected[p1] protected[p2] def f5: unit ^ diff --git a/test/files/neg/bug200.check b/test/files/neg/bug200.check index d24d832b85..bfce301807 100644 --- a/test/files/neg/bug200.check +++ b/test/files/neg/bug200.check @@ -1,4 +1,4 @@ -bug200.scala:7 error: method foo is defined twice +bug200.scala:7: error: method foo is defined twice def foo: Int; ^ one error found diff --git a/test/files/neg/bug343.check b/test/files/neg/bug343.check index 5ba5919650..9b6af98be3 100644 --- a/test/files/neg/bug343.check +++ b/test/files/neg/bug343.check @@ -1,4 +1,4 @@ -bug343.scala:5 error: private class Foo escapes its defining scope as part of type C.this.Foo +bug343.scala:5: error: private class Foo escapes its defining scope as part of type C.this.Foo def get:Foo = new Foo(); ^ one error found diff --git a/test/files/neg/bug391.check b/test/files/neg/bug391.check index 8e16310e41..4db19a39c4 100644 --- a/test/files/neg/bug391.check +++ b/test/files/neg/bug391.check @@ -1,13 +1,13 @@ -bug391.scala:2 error: identifier expected but 'def' found. +bug391.scala:2: error: identifier expected but 'def' found. def fun1(def x: Int): Int = x; // the "def x" is illegal ^ -bug391.scala:3 error: ':' expected but '}' found. +bug391.scala:3: error: ':' expected but '}' found. def fun2(val x: Int): Int = x; // the "val x" is illegal ^ -bug391.scala:6 error: identifier expected but 'def' found. +bug391.scala:6: error: identifier expected but 'def' found. class E(def x: Int); // the "def x" is illegal ^ -bug391.scala:6 error: ':' expected but eof found. +bug391.scala:6: error: ':' expected but eof found. class E(def x: Int); // the "def x" is illegal ^ four errors found diff --git a/test/files/neg/bug409.check b/test/files/neg/bug409.check index 6d596108fc..7944c63bb8 100644 --- a/test/files/neg/bug409.check +++ b/test/files/neg/bug409.check @@ -1,4 +1,4 @@ -bug409.scala:6 error: `{' expected +bug409.scala:6: error: `{' expected class Toto extends Expr with Case1(12); ^ one error found diff --git a/test/files/neg/bug412.check b/test/files/neg/bug412.check index 8d1f487f42..a6b2f0fba3 100644 --- a/test/files/neg/bug412.check +++ b/test/files/neg/bug412.check @@ -1,4 +1,4 @@ -bug412.scala:9 error: type mismatch; +bug412.scala:9: error: type mismatch; found : scala.Null(null) required: A.this.CX with A.this.C2 val c: CX with C2 = null; diff --git a/test/files/neg/bug414.check b/test/files/neg/bug414.check index dc6f636ff8..9f6717ca9e 100644 --- a/test/files/neg/bug414.check +++ b/test/files/neg/bug414.check @@ -1,7 +1,7 @@ -bug414.scala:5 error: stable identifier required, but Empty found. +bug414.scala:5: error: stable identifier required, but Empty found. case Empty => ^ -bug414.scala:7 error: type mismatch; +bug414.scala:7: error: type mismatch; found : scala.Unit required: a case _ => diff --git a/test/files/neg/bug415.check b/test/files/neg/bug415.check index c6c9805aa6..c834a328eb 100644 --- a/test/files/neg/bug415.check +++ b/test/files/neg/bug415.check @@ -1,4 +1,4 @@ -bug415.scala:8 error: method x cannot be accessed in A +bug415.scala:8: error: method x cannot be accessed in A because its instance type => A#T contains a malformed type: A#T val y: String = a.x; ^ diff --git a/test/files/neg/bug418.check b/test/files/neg/bug418.check index 598d6666f5..e7580beaf4 100644 --- a/test/files/neg/bug418.check +++ b/test/files/neg/bug418.check @@ -1,7 +1,7 @@ -bug418.scala:2 error: not found: value Foo12340771 +bug418.scala:2: error: not found: value Foo12340771 null match { case Foo12340771.Bar(x) => x } ^ -bug418.scala:2 error: not found: value x +bug418.scala:2: error: not found: value x null match { case Foo12340771.Bar(x) => x } ^ two errors found diff --git a/test/files/neg/bug421.check b/test/files/neg/bug421.check index 5ae34358b1..8cf29fa4e2 100644 --- a/test/files/neg/bug421.check +++ b/test/files/neg/bug421.check @@ -1,4 +1,4 @@ -bug421.scala:5 error: no regular expression pattern allowed here +bug421.scala:5: error: no regular expression pattern allowed here (regular expression patterns are only allowed in arguments to *-parameters) case Bar("foo",_*) => error("huh?"); ^ diff --git a/test/files/neg/bug432.check b/test/files/neg/bug432.check index e6fbd29579..54d4bd7817 100644 --- a/test/files/neg/bug432.check +++ b/test/files/neg/bug432.check @@ -1,4 +1,4 @@ -bug432.scala:2 error: Tata is already defined as case class Tata +bug432.scala:2: error: Tata is already defined as case class Tata object Tata ^ one error found diff --git a/test/files/neg/bug452.check b/test/files/neg/bug452.check index 028cf240a7..d36798ef7b 100644 --- a/test/files/neg/bug452.check +++ b/test/files/neg/bug452.check @@ -1,4 +1,4 @@ -bug452.scala:3 error: type mismatch; +bug452.scala:3: error: type mismatch; found : Test.type (with underlying type object Test) required: Test.this.Foo def this() = this(this); diff --git a/test/files/neg/bug500.check b/test/files/neg/bug500.check index 245945fbc9..ff4443caee 100644 --- a/test/files/neg/bug500.check +++ b/test/files/neg/bug500.check @@ -1,4 +1,4 @@ -bug500.scala:3 error: lower bound X does not conform to upper bound Y +bug500.scala:3: error: lower bound X does not conform to upper bound Y type T >: X <: Y; ^ one error found diff --git a/test/files/neg/bug501.check b/test/files/neg/bug501.check index 7b00a39034..112e49aad5 100644 --- a/test/files/neg/bug501.check +++ b/test/files/neg/bug501.check @@ -1,4 +1,4 @@ -bug501.scala:3 error: lower bound X does not conform to upper bound Y +bug501.scala:3: error: lower bound X does not conform to upper bound Y abstract class I { type T >: X <: Y; } ^ one error found diff --git a/test/files/neg/bug510.check b/test/files/neg/bug510.check index 79fbeeeccd..14b715ea68 100644 --- a/test/files/neg/bug510.check +++ b/test/files/neg/bug510.check @@ -1,4 +1,4 @@ -bug510.scala:19 error: cyclic aliasing or subtyping involving type T +bug510.scala:19: error: cyclic aliasing or subtyping involving type T def g(t: e.T): Unit = { ^ one error found diff --git a/test/files/neg/bug512.check b/test/files/neg/bug512.check index 90c424729e..f3d0e18a79 100644 --- a/test/files/neg/bug512.check +++ b/test/files/neg/bug512.check @@ -1,4 +1,4 @@ -bug512.scala:3 error: not found: value something +bug512.scala:3: error: not found: value something val xxx = something || ^ one error found diff --git a/test/files/neg/bug515.check b/test/files/neg/bug515.check index 7d922885e0..28cdd48927 100644 --- a/test/files/neg/bug515.check +++ b/test/files/neg/bug515.check @@ -1,4 +1,4 @@ -bug515.scala:7 error: type mismatch; +bug515.scala:7: error: type mismatch; found : java.lang.String required: Test.this.Truc val parent: Truc = file.getMachin diff --git a/test/files/neg/bug520.check b/test/files/neg/bug520.check index aec26f6993..258f8112e3 100644 --- a/test/files/neg/bug520.check +++ b/test/files/neg/bug520.check @@ -1,4 +1,4 @@ -bug520.scala:8 error: overloaded method verifyKeyword needs result type +bug520.scala:8: error: overloaded method verifyKeyword needs result type verifyKeyword("", source, pos); ^ one error found diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check index e7b149dca4..eac2087f71 100644 --- a/test/files/neg/bug521.check +++ b/test/files/neg/bug521.check @@ -1,14 +1,14 @@ -bug521.scala:10 error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => java.lang.String is not defined +bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => java.lang.String is not defined class PlainFile(val file : File) extends AbstractFile {} ^ -bug521.scala:13 error: error overriding value file in class PlainFile of type java.io.File; +bug521.scala:13: error: error overriding value file in class PlainFile of type java.io.File; value file needs `override' modifier final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { ^ -bug521.scala:13 error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => java.lang.String is not defined +bug521.scala:13: error: class ZipArchive needs to be abstract, since method path in class AbstractFile of type => java.lang.String is not defined final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) { ^ -bug521.scala:15 error: error overriding value path in class VirtualFile of type java.lang.String; +bug521.scala:15: error: error overriding value path in class VirtualFile of type java.lang.String; method path needs to be an immutable value override def path = ""; ^ diff --git a/test/files/neg/bug545.check b/test/files/neg/bug545.check index c969bcbb40..f349c084fc 100644 --- a/test/files/neg/bug545.check +++ b/test/files/neg/bug545.check @@ -1,7 +1,7 @@ -bug545.scala:4 error: value blah is not a member of Test.this.Foo +bug545.scala:4: error: value blah is not a member of Test.this.Foo val x = foo.blah match { ^ -bug545.scala:5 error: recursive value x needs type +bug545.scala:5: error: recursive value x needs type case List(x) => x ^ two errors found diff --git a/test/files/neg/bug550.check b/test/files/neg/bug550.check index 8ce38b21e4..6dcd8f51c6 100644 --- a/test/files/neg/bug550.check +++ b/test/files/neg/bug550.check @@ -1,7 +1,7 @@ -bug550.scala:6 error: class List takes type parameters +bug550.scala:6: error: class List takes type parameters def sum[a](xs: List)(implicit m: Monoid[a]): a = ^ -bug550.scala:8 error: no implicit argument matching parameter type Monoid[scala.Nothing] was found. +bug550.scala:8: error: no implicit argument matching parameter type Monoid[scala.Nothing] was found. sum(List(1,2,3)) ^ two errors found diff --git a/test/files/neg/bug555.check b/test/files/neg/bug555.check index 5bd0833217..e72714d36c 100644 --- a/test/files/neg/bug555.check +++ b/test/files/neg/bug555.check @@ -1,4 +1,4 @@ -bug555.scala:4 error: block must end in result expression, not in definition +bug555.scala:4: error: block must end in result expression, not in definition } ^ one error found diff --git a/test/files/neg/bug556.check b/test/files/neg/bug556.check index 39d9f50f85..26aa2f1129 100644 --- a/test/files/neg/bug556.check +++ b/test/files/neg/bug556.check @@ -1,4 +1,4 @@ -bug556.scala:3 error: wrong number of parameters; expected = 1 +bug556.scala:3: error: wrong number of parameters; expected = 1 def g:Int = f((x,y)=>x) ^ one error found diff --git a/test/files/neg/bug558.check b/test/files/neg/bug558.check index 6587939731..a51856f0e6 100644 --- a/test/files/neg/bug558.check +++ b/test/files/neg/bug558.check @@ -1,4 +1,4 @@ -bug558.scala:13 error: value file is not a member of NewModel.this.RootURL +bug558.scala:13: error: value file is not a member of NewModel.this.RootURL final val source = top.file; ^ one error found diff --git a/test/files/neg/bug562.check b/test/files/neg/bug562.check index 2badbf31b4..f709b20af2 100644 --- a/test/files/neg/bug562.check +++ b/test/files/neg/bug562.check @@ -1,4 +1,4 @@ -bug562.scala:10 error: error overriding value y in trait YYY of type scala.Int; +bug562.scala:10: error: error overriding value y in trait YYY of type scala.Int; value y cannot override a value or variable definition in a trait (this is an implementation restriction) override val y = super.y; diff --git a/test/files/neg/bug563.check b/test/files/neg/bug563.check index 3c7423ea7d..c10f504635 100644 --- a/test/files/neg/bug563.check +++ b/test/files/neg/bug563.check @@ -1,4 +1,4 @@ -bug563.scala:6 error: missing parameter type +bug563.scala:6: error: missing parameter type map(n,ptr => new Cell(ptr.elem)); ^ one error found diff --git a/test/files/neg/bug565.check b/test/files/neg/bug565.check index 572692064f..563cff1585 100644 --- a/test/files/neg/bug565.check +++ b/test/files/neg/bug565.check @@ -1,4 +1,4 @@ -bug565.scala:2 error: only classes can have declared but undefined members +bug565.scala:2: error: only classes can have declared but undefined members (Note that variables need to be initialized to be defined) var s0: String ^ diff --git a/test/files/neg/bug576.check b/test/files/neg/bug576.check index 0182398cf1..b496ccafd4 100644 --- a/test/files/neg/bug576.check +++ b/test/files/neg/bug576.check @@ -1,4 +1,4 @@ -bug576.scala:14 error: overloaded method insert needs result type +bug576.scala:14: error: overloaded method insert needs result type if (true) sibling.insert(node); ^ one error found diff --git a/test/files/neg/bug585.check b/test/files/neg/bug585.check index f0535a4791..4e2f72a941 100644 --- a/test/files/neg/bug585.check +++ b/test/files/neg/bug585.check @@ -1,4 +1,4 @@ -bug585.scala:1 error: unclosed comment +bug585.scala:1: error: unclosed comment /* ^ one error found diff --git a/test/files/neg/bug588.check b/test/files/neg/bug588.check index 2529c23772..2e12092157 100644 --- a/test/files/neg/bug588.check +++ b/test/files/neg/bug588.check @@ -1,10 +1,10 @@ -bug588.scala:3 error: double definition: +bug588.scala:3: error: double definition: method visit:((scala.Int) => java.lang.String)scala.Boolean and method visit:((scala.Int) => scala.Unit)scala.Boolean at line 2 have same type after erasure: (scala.Function1)scala.Boolean def visit(f: int => String): boolean ^ -bug588.scala:10 error: double definition: +bug588.scala:10: error: double definition: method f:(Test.this.TypeB)scala.Unit and method f:(Test.this.TypeA)scala.Unit at line 9 have same type after erasure: (Test#TraitA)scala.Unit diff --git a/test/files/neg/bug591.check b/test/files/neg/bug591.check index 9d1a090053..7a1a38f52b 100644 --- a/test/files/neg/bug591.check +++ b/test/files/neg/bug591.check @@ -1,4 +1,4 @@ -bug591.scala:38 error: method input_= is defined twice +bug591.scala:38: error: method input_= is defined twice def input_=(in : Input) = {} ^ one error found diff --git a/test/files/neg/bug593.check b/test/files/neg/bug593.check index c29e68da7a..30747ba947 100644 --- a/test/files/neg/bug593.check +++ b/test/files/neg/bug593.check @@ -1,4 +1,4 @@ -bug593.scala:1 error: `extends' or `{' expected +bug593.scala:1: error: `extends' or `{' expected trait Wrapper[T](x : T) { ^ one error found diff --git a/test/files/neg/bug608.check b/test/files/neg/bug608.check index 17d39265d9..4e8eb4d709 100644 --- a/test/files/neg/bug608.check +++ b/test/files/neg/bug608.check @@ -1,4 +1,4 @@ -bug608.scala:16 error: type mismatch; +bug608.scala:16: error: type mismatch; found : (a) => a required: (ha) => ? = g(f(x).bimap(id)) diff --git a/test/files/neg/bug630.check b/test/files/neg/bug630.check index 400a714fd2..600a999d20 100644 --- a/test/files/neg/bug630.check +++ b/test/files/neg/bug630.check @@ -1,4 +1,4 @@ -bug630.scala:20 error: error overriding value foo in trait Bar of type Req2; +bug630.scala:20: error: error overriding value foo in trait Bar of type Req2; object foo has incompatible type object Test.this.foo object foo extends Req1 ^ diff --git a/test/files/neg/bug631.check b/test/files/neg/bug631.check index ba985fab96..cb18e1d397 100644 --- a/test/files/neg/bug631.check +++ b/test/files/neg/bug631.check @@ -1,4 +1,4 @@ -bug631.scala:1 error: `implicit' modifier cannot be used for top-level objects +bug631.scala:1: error: `implicit' modifier cannot be used for top-level objects implicit object Test { ^ one error found diff --git a/test/files/neg/bug633.check b/test/files/neg/bug633.check index 55f827ee69..90f2f42c18 100644 --- a/test/files/neg/bug633.check +++ b/test/files/neg/bug633.check @@ -1,4 +1,4 @@ -bug633.scala:3 error: not found: type ListBuffer +bug633.scala:3: error: not found: type ListBuffer def t(a : ListBuffer[String]) = { ^ one error found diff --git a/test/files/neg/bug639.check b/test/files/neg/bug639.check index 4a6f8d1af3..2c6055cb96 100644 --- a/test/files/neg/bug639.check +++ b/test/files/neg/bug639.check @@ -1,4 +1,4 @@ -bug639.scala:3 error: not found: value a +bug639.scala:3: error: not found: value a import a._ ^ one error found diff --git a/test/files/neg/bug648.check b/test/files/neg/bug648.check index 80a4e11213..5323f86c42 100644 --- a/test/files/neg/bug648.check +++ b/test/files/neg/bug648.check @@ -1,4 +1,4 @@ -bug648.scala:7 error: value newAcc escapes its defining scope as part of type newAcc.type +bug648.scala:7: error: value newAcc escapes its defining scope as part of type newAcc.type List[Symbol]() map { sym => ^ one error found diff --git a/test/files/neg/bug649.check b/test/files/neg/bug649.check index 50505416e7..a548c41912 100644 --- a/test/files/neg/bug649.check +++ b/test/files/neg/bug649.check @@ -1,4 +1,4 @@ -bug649.scala:3 error: method foo is defined twice +bug649.scala:3: error: method foo is defined twice def foo[A] = foo[A] ^ one error found diff --git a/test/files/neg/bug650.check b/test/files/neg/bug650.check index 3f491f7a21..1120d68879 100644 --- a/test/files/neg/bug650.check +++ b/test/files/neg/bug650.check @@ -1,4 +1,4 @@ -bug650.scala:4 error: missing type arguments +bug650.scala:4: error: missing type arguments trait Test2 extends LinkedList; ^ one error found diff --git a/test/files/neg/bug663.check b/test/files/neg/bug663.check index d62bdd6ea7..3f80d11506 100644 --- a/test/files/neg/bug663.check +++ b/test/files/neg/bug663.check @@ -1,4 +1,4 @@ -bug663.scala:11 error: name clash between defined and inherited member: +bug663.scala:11: error: name clash between defined and inherited member: method asMatch:(Test.this.Node)scala.Any and method asMatch:(Test.this.Matchable)scala.Any in trait MatchableImpl have same type after erasure: (test.Test#NodeImpl)java.lang.Object diff --git a/test/files/neg/bug664.check b/test/files/neg/bug664.check index 5226e809c4..62995f13b3 100644 --- a/test/files/neg/bug664.check +++ b/test/files/neg/bug664.check @@ -1,7 +1,7 @@ -bug664.scala:4 error: type Foo is not a member of test.Test with scala.ScalaObject +bug664.scala:4: error: type Foo is not a member of test.Test with scala.ScalaObject trait Foo extends super.Foo { ^ -bug664.scala:5 error: type Bar is not a member of java.lang.Object with scala.ScalaObject +bug664.scala:5: error: type Bar is not a member of java.lang.Object with scala.ScalaObject trait Bar extends super.Bar; ^ two errors found diff --git a/test/files/neg/bug667.check b/test/files/neg/bug667.check index 11daa182ef..704e3178ff 100644 --- a/test/files/neg/bug667.check +++ b/test/files/neg/bug667.check @@ -1,4 +1,4 @@ -bug667.scala:8 error: class Ni inherits itself +bug667.scala:8: error: class Ni inherits itself class Ni extends super.Ni with Ni; ^ one error found diff --git a/test/files/neg/bug668.check b/test/files/neg/bug668.check index 6e9a53a894..698cef67e9 100644 --- a/test/files/neg/bug668.check +++ b/test/files/neg/bug668.check @@ -1,4 +1,4 @@ -bug668.scala:1 error: trait Iterable takes type parameters +bug668.scala:1: error: trait Iterable takes type parameters class Test extends Iterable ^ one error found diff --git a/test/files/neg/bug677.check b/test/files/neg/bug677.check index 90fceef364..a50f3b55b8 100644 --- a/test/files/neg/bug677.check +++ b/test/files/neg/bug677.check @@ -1,4 +1,4 @@ -bug677.scala:2 error: type mismatch; +bug677.scala:2: error: type mismatch; found : () => scala.Int required: scala.Nothing val zx: Nothing = {() => 4} diff --git a/test/files/neg/bug691.check b/test/files/neg/bug691.check index 0de1be7d54..47ac8c3888 100644 --- a/test/files/neg/bug691.check +++ b/test/files/neg/bug691.check @@ -1,4 +1,4 @@ -bug691.scala:27 error: ambiguous parent class qualifier +bug691.scala:27: error: ambiguous parent class qualifier trait TiC extends super[Arrow].Ti2 with super[AssignArrow].Ti1; ^ one error found diff --git a/test/files/neg/bug692.check b/test/files/neg/bug692.check index 2cd761b568..844b63827b 100644 --- a/test/files/neg/bug692.check +++ b/test/files/neg/bug692.check @@ -1,19 +1,19 @@ -bug692.scala:3 error: not found: type T +bug692.scala:3: error: not found: type T trait Type[T0] extends Type0[T]; ^ -bug692.scala:10 error: class Foo takes type parameters +bug692.scala:10: error: class Foo takes type parameters case class FooType extends ClassType[Foo,AnyRef](ObjectType); ^ -bug692.scala:13 error: class Foo takes type parameters +bug692.scala:13: error: class Foo takes type parameters case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType); ^ -bug692.scala:13 error: class Foo takes type parameters +bug692.scala:13: error: class Foo takes type parameters case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType); ^ -bug692.scala:14 error: class Foo takes type parameters +bug692.scala:14: error: class Foo takes type parameters implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = ^ -bug692.scala:19 error: class Foo takes type parameters +bug692.scala:19: error: class Foo takes type parameters class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo; ^ 6 errors found diff --git a/test/files/neg/bug693.check b/test/files/neg/bug693.check index af886b48c5..d341d025e2 100644 --- a/test/files/neg/bug693.check +++ b/test/files/neg/bug693.check @@ -1,4 +1,4 @@ -bug693.scala:4 error: x is already defined as value x +bug693.scala:4: error: x is already defined as value x val x : Int = 10; ^ one error found diff --git a/test/files/neg/bug696.check b/test/files/neg/bug696.check index 5a3ef2ff85..1b11d5074f 100644 --- a/test/files/neg/bug696.check +++ b/test/files/neg/bug696.check @@ -1,9 +1,9 @@ -bug696.scala:3 error: implicit method WithType is not contractive, +bug696.scala:3: error: implicit method WithType is not contractive, because the implicit parameter type TypeUtil0.this.Type[S] is not strictly contained in the signature TypeUtil0.this.Type[S with T] implicit def WithType[S,T](implicit tpeS : Type[S], tpeT : Type[T]) : Type[S with T] = null ^ -bug696.scala:4 error: no implicit argument matching parameter type TypeUtil0.this.Type[scala.Any] was found. +bug696.scala:4: error: no implicit argument matching parameter type TypeUtil0.this.Type[scala.Any] was found. as[Any](null); ^ two errors found diff --git a/test/files/neg/bug700.check b/test/files/neg/bug700.check index 7555c491e1..149a1564a9 100644 --- a/test/files/neg/bug700.check +++ b/test/files/neg/bug700.check @@ -1,4 +1,4 @@ -bug700.scala:6 error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' +bug700.scala:6: error: method foobar in trait Foo is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' def foobar: unit = super.foobar ^ one error found diff --git a/test/files/neg/bug708.check b/test/files/neg/bug708.check index e800fdd0df..1c4d96e674 100644 --- a/test/files/neg/bug708.check +++ b/test/files/neg/bug708.check @@ -1,4 +1,4 @@ -bug708.scala:8 error: error overriding type S in trait X with bounds >: scala.Nothing <: A.this.T; +bug708.scala:8: error: error overriding type S in trait X with bounds >: scala.Nothing <: A.this.T; type S has incompatible type scala.Any override private[A] type S = Any; ^ diff --git a/test/files/neg/bug711.check b/test/files/neg/bug711.check index 3511f0c3ea..13afb817b2 100644 --- a/test/files/neg/bug711.check +++ b/test/files/neg/bug711.check @@ -1,4 +1,4 @@ -bug711.scala:11 error: method sayHey does not refine a member of its base type +bug711.scala:11: error: method sayHey does not refine a member of its base type def sayHey: Unit ^ one error found diff --git a/test/files/neg/bug712.check b/test/files/neg/bug712.check index 277aaf6be5..59620d59cf 100644 --- a/test/files/neg/bug712.check +++ b/test/files/neg/bug712.check @@ -1,4 +1,4 @@ -bug712.scala:10 error: value self is not a member of B.this.ParentImpl +bug712.scala:10: error: value self is not a member of B.this.ParentImpl implicit def coerce(p : ParentImpl) = p.self; ^ one error found diff --git a/test/files/neg/bug715.check b/test/files/neg/bug715.check index 68b9709c05..7029220258 100644 --- a/test/files/neg/bug715.check +++ b/test/files/neg/bug715.check @@ -1,4 +1,4 @@ -bug715.scala:12 error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' +bug715.scala:12: error: method chilren in trait NodeImpl is accessed from super. It may not be abstract unless it is overridden by a member declared `abstract' and `override' override def children = super.chilren; ^ one error found diff --git a/test/files/neg/bug729.check b/test/files/neg/bug729.check index 8c13a304b3..ae00d309b1 100644 --- a/test/files/neg/bug729.check +++ b/test/files/neg/bug729.check @@ -1,4 +1,4 @@ -bug729.scala:20 error: type mismatch; +bug729.scala:20: error: type mismatch; found : ScalaParserAutoEdit.this.NodeImpl(in trait Parser) required: ScalaParserAutoEdit.this.NodeImpl(in trait ScalaParserAutoEdit) val yyy : NodeImpl = link.from; diff --git a/test/files/neg/bug752.check b/test/files/neg/bug752.check index a00ca01ced..f52f73cfba 100644 --- a/test/files/neg/bug752.check +++ b/test/files/neg/bug752.check @@ -1,4 +1,4 @@ -bug752.scala:6 error: type mismatch; +bug752.scala:6: error: type mismatch; found : (java.lang.String) => scala.Unit required: (scala.Int) => scala.Unit f(&g) diff --git a/test/files/neg/bug765.check b/test/files/neg/bug765.check index 474367c4c5..02bd111ef7 100644 --- a/test/files/neg/bug765.check +++ b/test/files/neg/bug765.check @@ -1,4 +1,4 @@ -bug765.scala:3 error: not found: type Bar123 +bug765.scala:3: error: not found: type Bar123 val bar = new Bar123 ^ one error found diff --git a/test/files/neg/bug766.check b/test/files/neg/bug766.check index 5d534cbaa4..d259db6835 100644 --- a/test/files/neg/bug766.check +++ b/test/files/neg/bug766.check @@ -1,4 +1,4 @@ -bug766.scala:5 error: not found: value badIdentifier +bug766.scala:5: error: not found: value badIdentifier val p = badIdentifier ^ one error found diff --git a/test/files/neg/bug779.check b/test/files/neg/bug779.check index 6621dc183a..180fa3824e 100644 --- a/test/files/neg/bug779.check +++ b/test/files/neg/bug779.check @@ -1,4 +1,4 @@ -bug779.scala:6 error: method method ast has return statement; needs result type +bug779.scala:6: error: method method ast has return statement; needs result type override def ast = return null ^ one error found diff --git a/test/files/neg/bug783.check b/test/files/neg/bug783.check index 9594db14e7..a7f978ad06 100644 --- a/test/files/neg/bug783.check +++ b/test/files/neg/bug783.check @@ -1,4 +1,4 @@ -bug783.scala:12 error: stable identifier required, but Contexts.this.globalInit0 found. +bug783.scala:12: error: stable identifier required, but Contexts.this.globalInit0 found. globalInit0.Template(10, 20); ^ one error found diff --git a/test/files/neg/bug798.check b/test/files/neg/bug798.check index 82286a7dfe..a740f933a2 100644 --- a/test/files/neg/bug798.check +++ b/test/files/neg/bug798.check @@ -1,4 +1,4 @@ -bug798.scala:2 error: cyclic aliasing or subtyping involving type Bracks +bug798.scala:2: error: cyclic aliasing or subtyping involving type Bracks trait Test[Bracks <: Bracks] { ^ one error found diff --git a/test/files/neg/bug800.check b/test/files/neg/bug800.check index eae84677c9..b62a3bdde9 100644 --- a/test/files/neg/bug800.check +++ b/test/files/neg/bug800.check @@ -1,13 +1,13 @@ -bug800.scala:4 error: qualification is already defined as value qualification +bug800.scala:4: error: qualification is already defined as value qualification val qualification = false; ^ -bug800.scala:8 error: method qualification is defined twice +bug800.scala:8: error: method qualification is defined twice val qualification = false; ^ -bug800.scala:12 error: value qualification is defined twice +bug800.scala:12: error: value qualification is defined twice var qualification = false; ^ -bug800.scala:16 error: method qualification is defined twice +bug800.scala:16: error: method qualification is defined twice var qualification = false; ^ four errors found diff --git a/test/files/neg/bug835.check b/test/files/neg/bug835.check index 1977126e8b..16b311ff4c 100644 --- a/test/files/neg/bug835.check +++ b/test/files/neg/bug835.check @@ -1,4 +1,4 @@ -bug835.scala:2 error: `)' expected +bug835.scala:2: error: `)' expected Console.println(List(List(1, 2, 3) : _*, List(4, 5, 6) : _*)) ^ one error found diff --git a/test/files/neg/bug836.check b/test/files/neg/bug836.check index 508d7bd75b..10a707ec93 100644 --- a/test/files/neg/bug836.check +++ b/test/files/neg/bug836.check @@ -1,4 +1,4 @@ -bug836.scala:6 error: type S cannot be accessed in A.this.MyObj +bug836.scala:6: error: type S cannot be accessed in A.this.MyObj because its instance type A.this.MyObj#S is malformed type S = MyObj#S ^ diff --git a/test/files/neg/bug839.check b/test/files/neg/bug839.check index 2308ac826b..281254ea00 100644 --- a/test/files/neg/bug839.check +++ b/test/files/neg/bug839.check @@ -1,4 +1,4 @@ -bug839.scala:25 error: method set cannot be accessed in object Test.this.FileImpl#treeBuilder +bug839.scala:25: error: method set cannot be accessed in object Test.this.FileImpl#treeBuilder because its instance type (Test.this.FileImpl#treeBuilder#global.Tree)scala.Unit contains a malformed type: object Test.this.FileImpl#treeBuilder#global file.treeBuilder.set(nsc.get); ^ diff --git a/test/files/neg/bug845.check b/test/files/neg/bug845.check index 1750611993..a5b92e2aee 100644 --- a/test/files/neg/bug845.check +++ b/test/files/neg/bug845.check @@ -1,4 +1,4 @@ -bug845.scala:4 error: only classes can have declared but undefined members +bug845.scala:4: error: only classes can have declared but undefined members type Bar; ^ one error found diff --git a/test/files/neg/bug846.check b/test/files/neg/bug846.check index b60b4c7125..8d1414ae9a 100644 --- a/test/files/neg/bug846.check +++ b/test/files/neg/bug846.check @@ -1,4 +1,4 @@ -bug846.scala:9 error: type mismatch; +bug846.scala:9: error: type mismatch; found : scala.Null(null) required: B if (a != null) f(a) else null diff --git a/test/files/neg/bug856.check b/test/files/neg/bug856.check index 5f5948c2cf..aab4be23a1 100644 --- a/test/files/neg/bug856.check +++ b/test/files/neg/bug856.check @@ -1,4 +1,4 @@ -bug856.scala:3 error: class ComplexRect needs to be abstract, since method _2 in trait Product2 of type => scala.Double is not defined +bug856.scala:3: error: class ComplexRect needs to be abstract, since method _2 in trait Product2 of type => scala.Double is not defined class ComplexRect(val _1:double, _2:double) extends Complex { ^ one error found diff --git a/test/files/neg/constrs.check b/test/files/neg/constrs.check index bb364dc967..9c0962f6bb 100644 --- a/test/files/neg/constrs.check +++ b/test/files/neg/constrs.check @@ -1,16 +1,16 @@ -constrs.scala:6 error: type T is not a member of object test +constrs.scala:6: error: type T is not a member of object test def this(y: int)(z: int)(t: this.T) = { this(this.u + y + z); Console.println(x) } ^ -constrs.scala:6 error: value u is not a member of object test +constrs.scala:6: error: value u is not a member of object test def this(y: int)(z: int)(t: this.T) = { this(this.u + y + z); Console.println(x) } ^ -constrs.scala:10 error: called constructor's definition must precede calling constructor's definition +constrs.scala:10: error: called constructor's definition must precede calling constructor's definition def this() = this("abc") ^ -constrs.scala:12 error: called constructor's definition must precede calling constructor's definition +constrs.scala:12: error: called constructor's definition must precede calling constructor's definition def this(x: boolean) = this(x) ^ -constrs.scala:16 error: type mismatch; +constrs.scala:16: error: type mismatch; found : scala.Int(1) required: a def this() = this(1) diff --git a/test/files/neg/escapes.check b/test/files/neg/escapes.check index 3f1f32909c..3c4473e6b6 100644 --- a/test/files/neg/escapes.check +++ b/test/files/neg/escapes.check @@ -1,4 +1,4 @@ -escapes.scala:2 error: type t escapes its defining scope as part of type t +escapes.scala:2: error: type t escapes its defining scope as part of type t def f(x: Any) = x match { case y: Cell[t] => y.elem } ^ one error found diff --git a/test/files/neg/faculty.check b/test/files/neg/faculty.check index 0fccb73753..029ef16e59 100644 --- a/test/files/neg/faculty.check +++ b/test/files/neg/faculty.check @@ -1,4 +1,4 @@ -faculty.scala:3 error: recursive method faculty needs result type +faculty.scala:3: error: recursive method faculty needs result type def faculty(x: int) = if (x == 0) 1 else x * faculty(x - 1) ^ one error found diff --git a/test/files/neg/forward.check b/test/files/neg/forward.check index ae1833a141..e2ff9cef76 100644 --- a/test/files/neg/forward.check +++ b/test/files/neg/forward.check @@ -1,10 +1,10 @@ -forward.scala:6 error: forward reference extends over definition of value x +forward.scala:6: error: forward reference extends over definition of value x def f: int = x; ^ -forward.scala:10 error: forward reference extends over definition of value x +forward.scala:10: error: forward reference extends over definition of value x def f: int = g; ^ -forward.scala:15 error: forward reference extends over definition of variable x +forward.scala:15: error: forward reference extends over definition of variable x def f: int = g; ^ three errors found diff --git a/test/files/neg/gadts1.check b/test/files/neg/gadts1.check index a761b79cb8..151cfad712 100644 --- a/test/files/neg/gadts1.check +++ b/test/files/neg/gadts1.check @@ -1,4 +1,4 @@ -gadts1.scala:15 error: type mismatch; +gadts1.scala:15: error: type mismatch; found : Test.this.Double required: a case NumTerm(n) => c.x = Double(1.0) diff --git a/test/files/neg/imp2.check b/test/files/neg/imp2.check index fed30dba59..baaeedf042 100644 --- a/test/files/neg/imp2.check +++ b/test/files/neg/imp2.check @@ -1,4 +1,4 @@ -imp2.scala:18 error: reference to f is ambiguous; +imp2.scala:18: error: reference to f is ambiguous; it is imported twice in the same scope by import b.{_} and import a.{_} diff --git a/test/files/neg/implicits.check b/test/files/neg/implicits.check index 6bfbb0b3c6..9f9f7f1ced 100644 --- a/test/files/neg/implicits.check +++ b/test/files/neg/implicits.check @@ -1,4 +1,4 @@ -implicits.scala:21 error: ambiguous implicit value: +implicits.scala:21: error: ambiguous implicit value: most specific definition is: method pos2int in object Super of type (Pos)scala.Int yet alternative definition method any2plus in object Sub of type (scala.Any)Sub.Plus is defined in a subclass. diff --git a/test/files/neg/lubs.check b/test/files/neg/lubs.check index e17e897f45..2acf7ec301 100644 --- a/test/files/neg/lubs.check +++ b/test/files/neg/lubs.check @@ -1,14 +1,14 @@ -lubs.scala:11 error: type mismatch; +lubs.scala:11: error: type mismatch; found : test1.this.A[test1.this.A[test1.this.A[scala.Any]]] required: test1.this.A[test1.this.A[test1.this.A[test1.this.A[scala.Any]]]] val x4: A[A[A[A[Any]]]] = f ^ -lubs.scala:24 error: type mismatch; +lubs.scala:24: error: type mismatch; found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} required: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A}} val x3: A { type T >: Null <: A { type T >: Null <: A } } = f ^ -lubs.scala:25 error: type mismatch; +lubs.scala:25: error: type mismatch; found : test2.this.A{type T >: test2.this.C with test2.this.D <: test2.this.A} required: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A{type T >: scala.Null <: test2.this.A}}} val x4: A { type T >: Null <: A { type T >: Null <: A { type T >: Null <: A } } } = f diff --git a/test/files/neg/mixins.check b/test/files/neg/mixins.check index d2b7895395..f310ca5962 100644 --- a/test/files/neg/mixins.check +++ b/test/files/neg/mixins.check @@ -1,4 +1,4 @@ -mixins.scala:9 error: illegal inheritance; superclass C +mixins.scala:9: error: illegal inheritance; superclass C is not a subclass of the superclass B of the mixin trait M class D extends C with M diff --git a/test/files/neg/overload.check b/test/files/neg/overload.check index 65e6a9dc81..1c1f1e7a01 100644 --- a/test/files/neg/overload.check +++ b/test/files/neg/overload.check @@ -1,4 +1,4 @@ -overload.scala:10 error: erroneous reference to overloaded definition, +overload.scala:10: error: erroneous reference to overloaded definition, most specific definition is: method f in class C of type (scala.Int)scala.Unit, yet alternative definition method f in class D of type (scala.Any)scala.Unit is defined in a subclass diff --git a/test/files/neg/scopes.check b/test/files/neg/scopes.check index b6712c1a8c..891267ddd4 100644 --- a/test/files/neg/scopes.check +++ b/test/files/neg/scopes.check @@ -1,25 +1,25 @@ -scopes.scala:1 error: x is already defined as value x +scopes.scala:1: error: x is already defined as value x case class test0(x: int, x: float) ^ -scopes.scala:2 error: x is already defined as value x +scopes.scala:2: error: x is already defined as value x ^ -scopes.scala:5 error: x is already defined as value x +scopes.scala:5: error: x is already defined as value x val x: float = .0f ^ -scopes.scala:8 error: y is already defined as value y +scopes.scala:8: error: y is already defined as value y val y: float = .0f ^ -scopes.scala:11 error: x is already defined as value x +scopes.scala:11: error: x is already defined as value x def f1(x: int, x: float) = x ^ -scopes.scala:12 error: y is already defined as value y +scopes.scala:12: error: y is already defined as value y def f2(x: int)(y: int, y: float) = x + y ^ -scopes.scala:13 error: x is already defined as value x +scopes.scala:13: error: x is already defined as value x (x: int, x: float) => x ^ -scopes.scala:15 error: x is already defined as value x +scopes.scala:15: error: x is already defined as value x case x::x => x ^ 8 errors found diff --git a/test/files/neg/variances.check b/test/files/neg/variances.check index 82d992048b..006fd49e9f 100644 --- a/test/files/neg/variances.check +++ b/test/files/neg/variances.check @@ -1,4 +1,4 @@ -variances.scala:2 error: covariant type a occurs in contravariant position in type Vector[a] of value x +variances.scala:2: error: covariant type a occurs in contravariant position in type Vector[a] of value x def append(x: Vector[a]): Vector[a] ^ one error found diff --git a/test/files/neg/viewtest.check b/test/files/neg/viewtest.check index b7433f6818..d84d03fe24 100644 --- a/test/files/neg/viewtest.check +++ b/test/files/neg/viewtest.check @@ -1,9 +1,9 @@ -viewtest.scala:43 error: type mismatch; +viewtest.scala:43: error: type mismatch; found : scala.List[a(in method compareTo)] required: scala.List[a(in method view3)] case y1: List[a] => compareLists(x, y1) ^ -viewtest.scala:104 error: ambiguous implicit value: +viewtest.scala:104: error: ambiguous implicit value: both method view4 in object O of type [a](a)a and method identity in object Predef of type [a](a)a match expected type (test.Str) => test.Ordered[test.Str] |