diff options
author | Martin Odersky <odersky@gmail.com> | 2013-02-21 21:44:41 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-02-21 21:44:41 +0100 |
commit | 008d440d5ff36dc62e1c6a366752cfc49e87461e (patch) | |
tree | f01598d5eafb784bb2621aff4511202da7baab69 /src/dotty/tools/dotc/core/Types.scala | |
parent | 40dbdbc148d4244ba58a9de81dc36eae0a7f853f (diff) | |
download | dotty-008d440d5ff36dc62e1c6a366752cfc49e87461e.tar.gz dotty-008d440d5ff36dc62e1c6a366752cfc49e87461e.tar.bz2 dotty-008d440d5ff36dc62e1c6a366752cfc49e87461e.zip |
Misc fixes to typed trees, flags, and elsewhere.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 60facee3c..4b3271ed2 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -299,7 +299,7 @@ object Types { */ final def normalizedPrefix(implicit ctx: Context): Type = this match { case tp: NamedType => - if (tp.isAbstractType) tp.info.normalizedPrefix else tp.prefix + if (tp.symbol.isAliasType) tp.info.normalizedPrefix else tp.prefix case tp: ClassInfo => tp.prefix case tp: TypeProxy => @@ -735,8 +735,6 @@ object Types { override def underlying(implicit ctx: Context): Type = info - def isAbstractType(implicit ctx: Context) = info.isRealTypeBounds - def derivedNamedType(prefix: Type, name: Name)(implicit ctx: Context): Type = if (prefix eq this.prefix) this else NamedType(prefix, name) @@ -1152,7 +1150,7 @@ object Types { else AnnotatedType(annots, underlying) } - case class ImportType(expr: TypedTree) extends UncachedGroundType + case class ImportType(expr: Shared[Type]) extends UncachedGroundType // Special type objects ------------------------------------------------------------ |