diff options
| author | Martin Odersky <odersky@gmail.com> | 2004-01-05 11:38:11 +0000 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2004-01-05 11:38:11 +0000 |
| commit | 0adfc8d42abed2b4019a866672c497eb5d67e5b9 (patch) | |
| tree | 11c3b94a1d6df352d313d0496275cd0dc7db23df /sources/scalac/typechecker | |
| parent | 3b1253891b888c191e9b96d566b3eb304213eeee (diff) | |
| download | scala-0adfc8d42abed2b4019a866672c497eb5d67e5b9.tar.gz scala-0adfc8d42abed2b4019a866672c497eb5d67e5b9.tar.bz2 scala-0adfc8d42abed2b4019a866672c497eb5d67e5b9.zip | |
*** empty log message ***
Diffstat (limited to 'sources/scalac/typechecker')
| -rw-r--r-- | sources/scalac/typechecker/RefCheck.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/sources/scalac/typechecker/RefCheck.java b/sources/scalac/typechecker/RefCheck.java index 0b9d308e2b..afe0e0df7a 100644 --- a/sources/scalac/typechecker/RefCheck.java +++ b/sources/scalac/typechecker/RefCheck.java @@ -100,6 +100,8 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { } void checkOverride(int pos, Symbol clazz, Symbol other) { + if (other.kind == CLASS) + return; // todo: see if we can sustain this Symbol member = other; if ((other.flags & PRIVATE) == 0) { Symbol member1 = clazz.info().lookup(other.name); @@ -222,8 +224,10 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { overrideError(pos, member, other, "has weaker access privileges; it should not be protected"); } else if ((other.flags & FINAL) != 0) { overrideError(pos, member, other, "cannot override final member"); +/* } else if (other.kind == CLASS) { overrideError(pos, member, other, "cannot override a class"); +*/ } else if ((other.flags & DEFERRED) == 0 && ((member.flags & OVERRIDE) == 0)) { overrideError(pos, member, other, "needs `override' modifier"); } else if (other.isAbstractOverride() && |