blob: fb2d9c2e476ec35a8d5cf92261e659e965ac074d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
|
t5429.scala:20: error: overriding value value in class A of type Int;
object value needs `override' modifier
object value // fail
^
t5429.scala:21: error: overriding lazy value lazyvalue in class A of type Int;
object lazyvalue needs `override' modifier
object lazyvalue // fail
^
t5429.scala:22: error: overriding method nullary in class A of type => Int;
object nullary needs `override' modifier
object nullary // fail
^
t5429.scala:23: error: overriding method emptyArg in class A of type ()Int;
object emptyArg needs `override' modifier
object emptyArg // fail
^
t5429.scala:27: error: overriding value value in class A0 of type Any;
object value needs `override' modifier
object value // fail
^
t5429.scala:28: error: overriding lazy value lazyvalue in class A0 of type Any;
object lazyvalue needs `override' modifier
object lazyvalue // fail
^
t5429.scala:29: error: overriding method nullary in class A0 of type => Any;
object nullary needs `override' modifier
object nullary // fail
^
t5429.scala:30: error: overriding method emptyArg in class A0 of type ()Any;
object emptyArg needs `override' modifier
object emptyArg // fail
^
t5429.scala:35: error: overriding value value in class A of type Int;
object value has incompatible type
override object value // fail
^
t5429.scala:36: error: overriding lazy value lazyvalue in class A of type Int;
object lazyvalue must be declared lazy to override a concrete lazy value
override object lazyvalue // fail
^
t5429.scala:37: error: overriding method nullary in class A of type => Int;
object nullary has incompatible type
override object nullary // fail
^
t5429.scala:38: error: overriding method emptyArg in class A of type ()Int;
object emptyArg has incompatible type
override object emptyArg // fail
^
t5429.scala:39: error: object oneArg overrides nothing.
Note: the super classes of class C contain the following, non final members named oneArg:
def oneArg(x: String): Int
override object oneArg // fail
^
t5429.scala:43: error: overriding lazy value lazyvalue in class A0 of type Any;
object lazyvalue must be declared lazy to override a concrete lazy value
override object lazyvalue // !!! this fails, but should succeed (lazy over lazy)
^
t5429.scala:46: error: object oneArg overrides nothing.
Note: the super classes of class C0 contain the following, non final members named oneArg:
def oneArg(x: String): Any
override object oneArg // fail
^
t5429.scala:50: error: overriding value value in class A of type Int;
value value needs `override' modifier
val value = 0 // fail
^
t5429.scala:51: error: overriding lazy value lazyvalue in class A of type Int;
value lazyvalue needs `override' modifier
val lazyvalue = 0 // fail
^
t5429.scala:52: error: overriding method nullary in class A of type => Int;
value nullary needs `override' modifier
val nullary = 5 // fail
^
t5429.scala:53: error: overriding method emptyArg in class A of type ()Int;
value emptyArg needs `override' modifier
val emptyArg = 10 // fail
^
t5429.scala:58: error: overriding lazy value lazyvalue in class A0 of type Any;
value lazyvalue must be declared lazy to override a concrete lazy value
override val lazyvalue = 0 // fail (non-lazy)
^
t5429.scala:61: error: value oneArg overrides nothing.
Note: the super classes of class D0 contain the following, non final members named oneArg:
def oneArg(x: String): Any
override val oneArg = 15 // fail
^
t5429.scala:65: error: overriding value value in class A of type Int;
method value needs `override' modifier
def value = 0 // fail
^
t5429.scala:66: error: overriding lazy value lazyvalue in class A of type Int;
method lazyvalue needs `override' modifier
def lazyvalue = 2 // fail
^
t5429.scala:67: error: overriding method nullary in class A of type => Int;
method nullary needs `override' modifier
def nullary = 5 // fail
^
t5429.scala:68: error: overriding method emptyArg in class A of type ()Int;
method emptyArg needs `override' modifier
def emptyArg = 10 // fail
^
t5429.scala:72: error: overriding value value in class A0 of type Any;
method value needs to be a stable, immutable value
override def value = 0 // fail
^
t5429.scala:73: error: overriding lazy value lazyvalue in class A0 of type Any;
method lazyvalue needs to be a stable, immutable value
override def lazyvalue = 2 // fail
^
t5429.scala:76: error: method oneArg overrides nothing.
Note: the super classes of class E0 contain the following, non final members named oneArg:
def oneArg(x: String): Any
override def oneArg = 15 // fail
^
t5429.scala:80: error: overriding value value in class A of type Int;
lazy value value needs `override' modifier
lazy val value = 0 // fail
^
t5429.scala:81: error: overriding lazy value lazyvalue in class A of type Int;
lazy value lazyvalue needs `override' modifier
lazy val lazyvalue = 2 // fail
^
t5429.scala:82: error: overriding method nullary in class A of type => Int;
lazy value nullary needs `override' modifier
lazy val nullary = 5 // fail
^
t5429.scala:83: error: overriding method emptyArg in class A of type ()Int;
lazy value emptyArg needs `override' modifier
lazy val emptyArg = 10 // fail
^
t5429.scala:87: error: overriding value value in class A0 of type Any;
lazy value value cannot override a concrete non-lazy value
override lazy val value = 0 // fail (strict over lazy)
^
t5429.scala:91: error: lazy value oneArg overrides nothing.
Note: the super classes of class F0 contain the following, non final members named oneArg:
def oneArg(x: String): Any
override lazy val oneArg = 15 // fail
^
34 errors found
|
