diff options
author | paltherr <paltherr@epfl.ch> | 2003-10-06 14:54:12 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-10-06 14:54:12 +0000 |
commit | 65f0b02c8930b6645345e7565f14967a3c4c78bb (patch) | |
tree | 3a55156975c5eeedb53a6112dd78381b0458cb47 | |
parent | c6a4f7ec60a874fd937a1d98711eeb9f03a8d796 (diff) | |
download | scala-65f0b02c8930b6645345e7565f14967a3c4c78bb.tar.gz scala-65f0b02c8930b6645345e7565f14967a3c4c78bb.tar.bz2 scala-65f0b02c8930b6645345e7565f14967a3c4c78bb.zip |
*** empty log message ***
-rw-r--r-- | sources/scalac/symtab/SymbolSubstTypeMap.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/sources/scalac/symtab/SymbolSubstTypeMap.java b/sources/scalac/symtab/SymbolSubstTypeMap.java index b18c5e67cd..47316f1799 100644 --- a/sources/scalac/symtab/SymbolSubstTypeMap.java +++ b/sources/scalac/symtab/SymbolSubstTypeMap.java @@ -151,23 +151,21 @@ public class SymbolSubstTypeMap extends Type.Map { public Type apply(Type type) { switch (type) { - case TypeRef(ThisType(_), Symbol symbol, Type[] args): { + case TypeRef(ThisType(_), Symbol symbol, Type[] args): Object value = types.get(symbol); if (value != null) return (Type)value; value = symbols.get(symbol); if (value == null) return super.map(type); Type prefix = ((Type.TypeRef)type).pre; return Type.typeRef(apply(prefix), (Symbol)value, map(args)); - } - case SingleType(ThisType(_), Symbol symbol): { + case SingleType(ThisType(_), Symbol symbol): Object value = types.get(symbol); if (value != null) return (Type)value; value = symbols.get(symbol); if (value == null) return super.map(type); Type prefix = ((Type.SingleType)type).pre; return Type.singleType(apply(prefix), (Symbol)value); - } case ThisType(Symbol symbol): Object value = symbols.get(symbol); |