diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-01-29 09:44:37 +0100 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-01-29 09:44:37 +0100 |
| commit | bbc4f7a3234937e5f79e8310e6fff2f9b4af0f98 (patch) | |
| tree | 36537cd033d5e37a489839f2970245df9db5e544 /src/dotty/tools/dotc/core/Types.scala | |
| parent | 9770566c50baff03a7e61344c203b29db8750e8f (diff) | |
| download | dotty-bbc4f7a3234937e5f79e8310e6fff2f9b4af0f98.tar.gz dotty-bbc4f7a3234937e5f79e8310e6fff2f9b4af0f98.tar.bz2 dotty-bbc4f7a3234937e5f79e8310e6fff2f9b4af0f98.zip | |
New Context architecture based on cloning
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index dcef49d0d..dfa09a4c5 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -508,7 +508,7 @@ object Types { def unique[T <: Type](tp: T)(implicit ctx: Context): T = { if (tp.hash == NotCached) tp - else ctx.root.uniques.findEntryOrUpdate(tp).asInstanceOf[T] + else ctx.uniques.findEntryOrUpdate(tp).asInstanceOf[T] } /** A marker trait for type proxies. @@ -583,7 +583,7 @@ object Types { throw new MalformedType(prefix, d.symbol) d } else {// name has changed; try load in earlier phase and make current - denot(ctx.withPhase(ctx.phaseId - 1)).current + denot(ctx.fresh.withPhase(ctx.phaseId - 1)).current } } } |