diff options
author | Martin Odersky <odersky@gmail.com> | 2013-08-16 19:01:08 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-08-16 19:01:08 +0200 |
commit | 502f426981105df448896f635ef559cd72787c43 (patch) | |
tree | ca3a85271ae10c7f697dd3e88b07b7045bf81e2e /src/dotty/tools/dotc/core/transform/Erasure.scala | |
parent | f540194f1b04c044c969772d5989d129264ea781 (diff) | |
download | dotty-502f426981105df448896f635ef559cd72787c43.tar.gz dotty-502f426981105df448896f635ef559cd72787c43.tar.bz2 dotty-502f426981105df448896f635ef559cd72787c43.zip |
Various bugfixes for namer/typer/trees
Diffstat (limited to 'src/dotty/tools/dotc/core/transform/Erasure.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/transform/Erasure.scala | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/transform/Erasure.scala b/src/dotty/tools/dotc/core/transform/Erasure.scala index 5b8a492e1..31679f05e 100644 --- a/src/dotty/tools/dotc/core/transform/Erasure.scala +++ b/src/dotty/tools/dotc/core/transform/Erasure.scala @@ -2,7 +2,7 @@ package dotty.tools.dotc package core package transform -import Symbols._, Types._, Contexts._, Flags._, Names._ +import Symbols._, Types._, Contexts._, Flags._, Names._, StdNames._ object Erasure { @@ -63,6 +63,8 @@ object Erasure { else if (cls == defn.ArrayClass) defn.ObjectClass.typeConstructor :: Nil else removeLaterObjects(classParents mapConserve (erasure(_).asInstanceOf[TypeRef])) tp.derivedClassInfo(erasure(pre), parents, NoType) + case ErrorType => + tp } def eraseArray(tp: RefinedType)(implicit ctx: Context) = { @@ -124,6 +126,8 @@ object Erasure { paramSignature(tp1) case OrType(tp1, tp2) => lubClass(tp1, tp2).name + case ErrorType => + tpnme.WILDCARD } def resultErasure(tp: Type)(implicit ctx: Context) = |