diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-03-27 13:57:57 +0100 |
|---|---|---|
| committer | Dmitry Petrashko <dmitry.petrashko@gmail.com> | 2014-03-29 09:32:55 +0100 |
| commit | d26d18926d886468406a70ecf676e899c939de9f (patch) | |
| tree | 7581396d35ee3113ebb61aca69f0baa7906e56e0 /src/dotty/tools/dotc/core/transform/Erasure.scala | |
| parent | e8748e29279f30167516ef7ca8d24f4e4229687f (diff) | |
| download | dotty-d26d18926d886468406a70ecf676e899c939de9f.tar.gz dotty-d26d18926d886468406a70ecf676e899c939de9f.tar.bz2 dotty-d26d18926d886468406a70ecf676e899c939de9f.zip | |
Fixes to erasure
Various fixes to the tree transformer.
In the denotation transformer we now keep self types around because otherwise
sourceModule would stop to work.
Conflicts:
src/dotty/tools/dotc/core/transform/Erasure.scala
Diffstat (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/transform/Erasure.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/transform/Erasure.scala b/src/dotty/tools/dotc/core/transform/Erasure.scala index 353911444..d59bdf1a9 100644 --- a/src/dotty/tools/dotc/core/transform/Erasure.scala +++ b/src/dotty/tools/dotc/core/transform/Erasure.scala @@ -151,7 +151,7 @@ class Erasure(isJava: Boolean, isSemi: Boolean, isConstructor: Boolean, wildcard if ((cls eq defn.ObjectClass) || cls.isPrimitiveValueClass) Nil else if (cls eq defn.ArrayClass) defn.ObjectClass.typeRef :: Nil else removeLaterObjects(classParents.mapConserve(eraseTypeRef)) - tp.derivedClassInfo(this(pre), parents, NoType) + tp.derivedClassInfo(this(pre), parents, this(tp.selfType)) case NoType | NoPrefix | ErrorType => tp case tp: WildcardType if wildcardOK => |