diff options
author | paltherr <paltherr@epfl.ch> | 2003-09-30 09:31:09 +0000 |
---|---|---|
committer | paltherr <paltherr@epfl.ch> | 2003-09-30 09:31:09 +0000 |
commit | b66879588fbda5d53e8012a637692640fc7fb8ad (patch) | |
tree | ca449f20d9a3a74412c9b1a88912080e5ee2db6a | |
parent | 5d8b5d80bbfc86d1a11823e93d5b51bc1c061243 (diff) | |
download | scala-b66879588fbda5d53e8012a637692640fc7fb8ad.tar.gz scala-b66879588fbda5d53e8012a637692640fc7fb8ad.tar.bz2 scala-b66879588fbda5d53e8012a637692640fc7fb8ad.zip |
- Modified Type.erasure to replace prefixes by ...
- Modified Type.erasure to replace prefixes by localThisTypes. This
solves at least a part of bug 135.
-rw-r--r-- | sources/scalac/symtab/Type.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sources/scalac/symtab/Type.java b/sources/scalac/symtab/Type.java index d5ba75934b..37662b443e 100644 --- a/sources/scalac/symtab/Type.java +++ b/sources/scalac/symtab/Type.java @@ -2761,7 +2761,7 @@ public class Type implements Modifiers, Kinds, TypeTags, EntryTags { else { Type this1 = unbox(); if (this1 != this) return this1; - else return sym.typeConstructor(); + else return TypeRef(localThisType, sym, EMPTY_ARRAY); } default: throw new ApplicationError(sym + " has wrong kind: " + sym.kind); |