diff options
| author | Martin Odersky <odersky@gmail.com> | 2014-02-10 19:17:00 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2014-02-10 19:17:00 +0100 |
| commit | 5870fbb7297b1b4bb70cbcf27cd88d4e12197234 (patch) | |
| tree | 855fa843dde8b90041629786a22fa7e0187be4b3 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 18ae13dcf4f5d40d528e2bcf43a19e84bf475084 (diff) | |
| download | dotty-5870fbb7297b1b4bb70cbcf27cd88d4e12197234.tar.gz dotty-5870fbb7297b1b4bb70cbcf27cd88d4e12197234.tar.bz2 dotty-5870fbb7297b1b4bb70cbcf27cd88d4e12197234.zip | |
New scheme for incremental invalidation of parents.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index 28a7f9e67..49b57d32f 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -1793,7 +1793,7 @@ object Types { abstract case class ClassInfo( prefix: Type, cls: ClassSymbol, - myClassParents: List[TypeRef], // to be used only in ClassDenotation! + classParents: List[TypeRef], decls: Scope, selfInfo: DotClass /* should be: Type | Symbol */) extends CachedGroundType with TypeType { @@ -1842,10 +1842,10 @@ object Types { def derivedClassInfo(prefix: Type)(implicit ctx: Context) = if (prefix eq this.prefix) this - else ClassInfo(prefix, cls, myClassParents, decls, selfInfo) + else ClassInfo(prefix, cls, classParents, decls, selfInfo) - def derivedClassInfo(prefix: Type = this.prefix, classParents: List[TypeRef] = myClassParents, selfInfo: DotClass = this.selfInfo)(implicit ctx: Context) = - if ((prefix eq this.prefix) && (classParents eq this.myClassParents) && (selfInfo eq this.selfInfo)) this + def derivedClassInfo(prefix: Type = this.prefix, classParents: List[TypeRef] = classParents, selfInfo: DotClass = this.selfInfo)(implicit ctx: Context) = + if ((prefix eq this.prefix) && (classParents eq this.classParents) && (selfInfo eq this.selfInfo)) this else ClassInfo(prefix, cls, classParents, decls, selfInfo) override def computeHash = doHash(cls, prefix) |