diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-09-18 09:40:26 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-09-18 09:40:26 +0200 |
| commit | 283c41637ce5e50655c31e729fa4c0baf3ece185 (patch) | |
| tree | b0dfae2b98e126c9119d9cbbbd39a7627b3b1023 /src/dotty/tools/dotc/core/pickling/UnPickler.scala | |
| parent | 64a312432ca2cded23ca2d9244276231c52a52c2 (diff) | |
| download | dotty-283c41637ce5e50655c31e729fa4c0baf3ece185.tar.gz dotty-283c41637ce5e50655c31e729fa4c0baf3ece185.tar.bz2 dotty-283c41637ce5e50655c31e729fa4c0baf3ece185.zip | |
Experimental branch that drops {Term/Type}RefWithSym types
Diffstat (limited to 'src/dotty/tools/dotc/core/pickling/UnPickler.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/pickling/UnPickler.scala | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/dotty/tools/dotc/core/pickling/UnPickler.scala b/src/dotty/tools/dotc/core/pickling/UnPickler.scala index f0dcb7336..109987dcf 100644 --- a/src/dotty/tools/dotc/core/pickling/UnPickler.scala +++ b/src/dotty/tools/dotc/core/pickling/UnPickler.scala @@ -543,10 +543,10 @@ class UnPickler(bytes: Array[Byte], classRoot: ClassDenotation, moduleClassRoot: case tp @ RefinedType(parent, name) => val parent1 = elim(tp.parent) tp.refinedInfo match { - case TypeAlias(info: TypeRefBySym) if boundSyms contains info.fixedSym => - RefinedType(parent1, name, info.fixedSym.info) - case info: TypeRefBySym if boundSyms contains info.fixedSym => - val info1 = info.fixedSym.info + case TypeAlias(info: TypeRef) if boundSyms contains info.symbol => + RefinedType(parent1, name, info.symbol.info) + case info: TypeRef if boundSyms contains info.symbol => + val info1 = info.symbol.info assert(info1.derivesFrom(defn.SingletonClass)) RefinedType(parent1, name, info1.mapAnd(removeSingleton)) case info => |