diff options
author | Martin Odersky <odersky@gmail.com> | 2013-03-04 11:53:46 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-03-04 11:53:46 +0100 |
commit | 5af6ff8286614998e58f0bc5ef2fe4135d993209 (patch) | |
tree | 05ad16fb264d918b23210ca9b34d8ee2a875c5bf /src/dotty/tools/dotc/core/TypeOps.scala | |
parent | a462570e3a7c5188ae5e6e4e76a16522bee10f1c (diff) | |
download | dotty-5af6ff8286614998e58f0bc5ef2fe4135d993209.tar.gz dotty-5af6ff8286614998e58f0bc5ef2fe4135d993209.tar.bz2 dotty-5af6ff8286614998e58f0bc5ef2fe4135d993209.zip |
Renamed RefinedType#name, #info…
… to refinedName, refinedInfo. Also some other polishings in Types.
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeOps.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeOps.scala | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/dotty/tools/dotc/core/TypeOps.scala b/src/dotty/tools/dotc/core/TypeOps.scala index 6628aa824..ddab2743d 100644 --- a/src/dotty/tools/dotc/core/TypeOps.scala +++ b/src/dotty/tools/dotc/core/TypeOps.scala @@ -50,8 +50,8 @@ trait TypeOps { this: Context => case tp: RefinedType => tp.derivedRefinedType( asSeenFrom(tp.parent, pre, clazz, theMap), - tp.name, - asSeenFrom(tp.info, pre, clazz, theMap)) + tp.refinedName, + asSeenFrom(tp.refinedInfo, pre, clazz, theMap)) case _ => (if (theMap != null) theMap else new AsSeenFromMap(pre, clazz)) .mapOver(tp) @@ -76,7 +76,7 @@ trait TypeOps { this: Context => case tp: RefinedType => tp.parent.isVolatile || isAbstractIntersection(tp.parent) && - (tp.abstractMemberNames contains tp.name) + (tp.abstractMemberNames() contains tp.refinedName) case tp: TypeProxy => tp.underlying.isVolatile case AndType(l, r) => @@ -204,8 +204,8 @@ trait TypeOps { this: Context => case tp @ RefinedType(tp1, name: TypeName) => refinements = refinements.updated(name, refinements get name match { - case Some(info) => info & tp.info - case none => tp.info + case Some(info) => info & tp.refinedInfo + case none => tp.refinedInfo }) formals = formals.updated(name, tp1.member(name).symbol) normalizeToRef(tp1) |