diff options
| author | Martin Odersky <odersky@gmail.com> | 2015-06-05 18:49:36 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2015-06-06 11:05:27 +0200 |
| commit | 080ed2f3d8b5d8fd249691aacc0fe4f9596bb772 (patch) | |
| tree | 1fac280aa6832c115037e04178d791cc92f9de25 /src/dotty/tools/dotc/core/Skolemization.scala | |
| parent | eaf3095494af2b0ea028452450a6af44e27f5284 (diff) | |
| download | dotty-080ed2f3d8b5d8fd249691aacc0fe4f9596bb772.tar.gz dotty-080ed2f3d8b5d8fd249691aacc0fe4f9596bb772.tar.bz2 dotty-080ed2f3d8b5d8fd249691aacc0fe4f9596bb772.zip | |
Split RefinedThis and SkolemType
SkolemTypes need to behave differently form RefinedThis types in TypeMap
and TypeAccumulator. For skolem types these should follow through to the
underlying type. For RefinedThis types, these need to do nothing, in order
not to start an infinite recursion.
Diffstat (limited to 'src/dotty/tools/dotc/core/Skolemization.scala')
| -rw-r--r-- | src/dotty/tools/dotc/core/Skolemization.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/core/Skolemization.scala b/src/dotty/tools/dotc/core/Skolemization.scala index eef5f0e5d..8baf612ba 100644 --- a/src/dotty/tools/dotc/core/Skolemization.scala +++ b/src/dotty/tools/dotc/core/Skolemization.scala @@ -30,7 +30,7 @@ trait Skolemization { case tp: TypeProxy => ensureStableSingleton(tp.underlying) } - +/*@@@ /** If skolems were encountered, approximate a type `tp` with a type that * does not contain skolem types. * @param toSuper if true, return the smallest supertype of `tp` with this property @@ -137,7 +137,7 @@ trait Skolemization { this.seen = savedSeen } } - } + }*/ } object Skolemization extends Enumeration { |