diff options
author | Martin Odersky <odersky@gmail.com> | 2006-09-19 10:48:26 +0000 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2006-09-19 10:48:26 +0000 |
commit | f72b4dfe467a967f046e4844b2ab57d4fc074f2c (patch) | |
tree | bc18bbca368b166802e60e22d9a3416e5ed104dd /test/files/neg | |
parent | 13a369ce8d13cba304e9920d1dc445d6f74cca76 (diff) | |
download | scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.tar.gz scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.tar.bz2 scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.zip |
Diffstat (limited to 'test/files/neg')
-rw-r--r-- | test/files/neg/bug521.check | 4 | ||||
-rw-r--r-- | test/files/neg/bug562.check | 2 | ||||
-rw-r--r-- | test/files/neg/bug565.check | 1 | ||||
-rw-r--r-- | test/files/neg/bug630.check | 2 |
4 files changed, 5 insertions, 4 deletions
diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check index 4a80997bde..fa2ddffbaf 100644 --- a/test/files/neg/bug521.check +++ b/test/files/neg/bug521.check @@ -1,14 +1,14 @@ bug521.scala:12 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:21 error: error overriding value file in class PlainFile of type => java.io.File; +bug521.scala:21 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:21 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:23 error: error overriding value path in class VirtualFile of type => java.lang.String; +bug521.scala:23 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/bug562.check b/test/files/neg/bug562.check index 6654ee5ef9..2badbf31b4 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/bug565.check b/test/files/neg/bug565.check index 673e112058..572692064f 100644 --- a/test/files/neg/bug565.check +++ b/test/files/neg/bug565.check @@ -1,4 +1,5 @@ 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 ^ one error found diff --git a/test/files/neg/bug630.check b/test/files/neg/bug630.check index 42fb6ccd05..400a714fd2 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 ^ |