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/bug521.check | |
| parent | 13a369ce8d13cba304e9920d1dc445d6f74cca76 (diff) | |
| download | scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.tar.gz scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.tar.bz2 scala-f72b4dfe467a967f046e4844b2ab57d4fc074f2c.zip | |
Diffstat (limited to 'test/files/neg/bug521.check')
| -rw-r--r-- | test/files/neg/bug521.check | 4 |
1 files changed, 2 insertions, 2 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 = ""; ^ |