summaryrefslogtreecommitdiff
path: root/test/files/neg/bug521.check
blob: eda06ff9f6481bde03f6b2cbf68f8eacf3f1e05c (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
bug521.scala:10: error: class PlainFile needs to be abstract, since method path in class AbstractFile of type => String is not defined
class PlainFile(val file : File) extends AbstractFile {}
      ^
bug521.scala:13: 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 => String is not defined
final class ZipArchive(val file : File, archive : ZipFile) extends PlainFile(file) {
            ^
bug521.scala:15: error: overriding value path in class VirtualFile of type String;
 method path is not stable
    override def path = "";
                 ^
four errors found