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 | |
| 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')
| -rw-r--r-- | src/dotty/tools/dotc/core/TypeApplications.scala | 2 | ||||
| -rw-r--r-- | src/dotty/tools/dotc/core/Types.scala | 11 |
2 files changed, 1 insertions, 12 deletions
diff --git a/src/dotty/tools/dotc/core/TypeApplications.scala b/src/dotty/tools/dotc/core/TypeApplications.scala index 7ca2040c6..e71226b68 100644 --- a/src/dotty/tools/dotc/core/TypeApplications.scala +++ b/src/dotty/tools/dotc/core/TypeApplications.scala @@ -507,7 +507,7 @@ class TypeApplications(val self: Type) extends AnyVal { * LambdaXYZ { type Apply = B[$hkArg$0, ..., $hkArg$n] } * { type $hkArg$0 = T1; ...; type $hkArg$n = Tn } * - * satisfies predicate `p`. Try base types in the order of ther occurrence in `baseClasses`. + * satisfies predicate `p`. Try base types in the order of their occurrence in `baseClasses`. * A type parameter matches a varianve V if it has V as its variance or if V == 0. */ def testLifted(tparams: List[Symbol], p: Type => Boolean)(implicit ctx: Context): Boolean = { 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) |