diff options
author | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:55:38 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-01-10 14:55:38 +0100 |
commit | 4429243278ea671ccaf8344f4b65519fe6800a47 (patch) | |
tree | eaf6987f5144e2e20a2dfdc9135ff2bb662f8137 /src/dotty/tools/dotc/core/Types.scala | |
parent | 710e40e991db4c1c519cfea1d3112b558ad044e9 (diff) | |
download | dotty-4429243278ea671ccaf8344f4b65519fe6800a47.tar.gz dotty-4429243278ea671ccaf8344f4b65519fe6800a47.tar.bz2 dotty-4429243278ea671ccaf8344f4b65519fe6800a47.zip |
Removed some checks
Checks are no longer interesting because we will not to migrate to
RefinedThis(level) scheme after all.
Diffstat (limited to 'src/dotty/tools/dotc/core/Types.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/src/dotty/tools/dotc/core/Types.scala b/src/dotty/tools/dotc/core/Types.scala index d12d122d3..f2329d284 100644 --- a/src/dotty/tools/dotc/core/Types.scala +++ b/src/dotty/tools/dotc/core/Types.scala @@ -442,11 +442,6 @@ object Types { if (tp.refinementRefersToThis) tp.refinedInfo.substRefinedThis(0, pre) else tp.refinedInfo } - if (Types.goRefinedCheck) { - val rinfo0 = tp.refinedInfo.substThis0(tp, pre) - if ((rinfo0 ne rinfo) && (rinfo0.show != rinfo.show)) - println(s"findMember discrepancy for $tp , $name, pre = $pre, old = $rinfo0, new = $rinfo") - } if (name.isTypeName) { // simplified case that runs more efficiently val jointInfo = if (rinfo.isAlias) rinfo else pdenot.info & rinfo pdenot.asSingleDenotation.derivedSingleDenotation(pdenot.symbol, jointInfo) @@ -1774,9 +1769,6 @@ object Types { } } if (rt eq RefinedType.this) assert(l == level, RefinedType.this) - if (Types.reverseLevelCheck && l == level) - assert(dominates(rt, RefinedType.this) || dominates(RefinedType.this, rt), - RefinedType.this) case tp: RefinedType => level += 1 apply(x, tp.refinedInfo) @@ -3050,9 +3042,6 @@ object Types { var debugTrace = false - var reverseLevelCheck = false - var goRefinedCheck = false - val watchList = List[String]( ) map (_.toTypeName) |