diff options
| author | paltherr <paltherr@epfl.ch> | 2004-04-04 18:37:59 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-04-04 18:37:59 +0000 |
| commit | 6b35acd807e982b5296eb05898561ea8664bf2a3 (patch) | |
| tree | 4c39fe37f0dcd827eb7582eb0b4b564074b20acc /sources/scalac/typechecker | |
| parent | 8127c2eeeff7ee3a3f65a205020d50c4c5cdba16 (diff) | |
| download | scala-6b35acd807e982b5296eb05898561ea8664bf2a3.tar.gz scala-6b35acd807e982b5296eb05898561ea8664bf2a3.tar.bz2 scala-6b35acd807e982b5296eb05898561ea8664bf2a3.zip | |
- Added method Type.isError
Diffstat (limited to 'sources/scalac/typechecker')
| -rw-r--r-- | sources/scalac/typechecker/RefCheck.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/sources/scalac/typechecker/RefCheck.java b/sources/scalac/typechecker/RefCheck.java index 92290a4317..c7e2572d72 100644 --- a/sources/scalac/typechecker/RefCheck.java +++ b/sources/scalac/typechecker/RefCheck.java @@ -277,7 +277,7 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { } void overrideError(int pos, Symbol member, Symbol other, String msg) { - if (other.type() != Type.ErrorType && member.type() != Type.ErrorType) + if (!other.type().isError() && !member.type().isError()) unit.error(pos, "error overriding " + other + other.locationString() + ";\n " + member + member.locationString() + " " + msg); @@ -285,7 +285,7 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { void overrideTypeError(int pos, Symbol member, Symbol other, Type site, boolean lobound) { - if (other.type() != Type.ErrorType && member.type() != Type.ErrorType) { + if (!other.type().isError() && !member.type().isError()) { Type memberInfo = lobound ? site.memberLoBound(member) : normalizedInfo(site, member); Type otherInfo = lobound ? site.memberLoBound(other) |