diff options
| author | Martin Odersky <odersky@gmail.com> | 2006-02-09 16:26:09 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2006-02-09 16:26:09 +0000 |
| commit | 8adbe6a58562d6dd5c893b88b395ac46c2425e42 (patch) | |
| tree | 5b9623f7d6ce2d2a61054f4d1b4b86baba376fe9 /test/files/neg/bug521.check | |
| parent | 7fc1dcd161f34f9ce8edd34bfc1bf1c97294dd5f (diff) | |
| download | scala-8adbe6a58562d6dd5c893b88b395ac46c2425e42.tar.gz scala-8adbe6a58562d6dd5c893b88b395ac46c2425e42.tar.bz2 scala-8adbe6a58562d6dd5c893b88b395ac46c2425e42.zip | |
Diffstat (limited to 'test/files/neg/bug521.check')
| -rw-r--r-- | test/files/neg/bug521.check | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/test/files/neg/bug521.check b/test/files/neg/bug521.check new file mode 100644 index 0000000000..818f80052e --- /dev/null +++ b/test/files/neg/bug521.check @@ -0,0 +1,15 @@ +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; + 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; + method path needs to be an immutable value + override def path = "";
+ ^ +four errors found |