diff options
| author | paltherr <paltherr@epfl.ch> | 2004-03-04 00:26:34 +0000 |
|---|---|---|
| committer | paltherr <paltherr@epfl.ch> | 2004-03-04 00:26:34 +0000 |
| commit | 0da441a4ca9065df92ff3096d1d92ff7509de3b6 (patch) | |
| tree | b8be9a77764e875a0bc8030ed98e91c7dfd1856a /sources/scalac/typechecker/RefCheck.java | |
| parent | ef077db69bb268304df5184ac460b9f8c5caef39 (diff) | |
| download | scala-0da441a4ca9065df92ff3096d1d92ff7509de3b6.tar.gz scala-0da441a4ca9065df92ff3096d1d92ff7509de3b6.tar.bz2 scala-0da441a4ca9065df92ff3096d1d92ff7509de3b6.zip | |
- Added Type.NoPrefix
- Replaced ThisType(NONE) by NoPrefix
Diffstat (limited to 'sources/scalac/typechecker/RefCheck.java')
| -rw-r--r-- | sources/scalac/typechecker/RefCheck.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sources/scalac/typechecker/RefCheck.java b/sources/scalac/typechecker/RefCheck.java index 6a7b0f2e4f..f36fbcce36 100644 --- a/sources/scalac/typechecker/RefCheck.java +++ b/sources/scalac/typechecker/RefCheck.java @@ -419,7 +419,8 @@ public class RefCheck extends Transformer implements Modifiers, Kinds { case ErrorType: case AnyType: case NoType: - case ThisType(Symbol sym): + case NoPrefix: + case ThisType(_): break; case SingleType(Type pre, Symbol sym): validateVariance(base, all, pre, variance); |