diff options
author | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2013-10-12 12:58:30 +0200 |
commit | 54a1bce87b4682ccfb97504e2daa7c36cbf207b2 (patch) | |
tree | 5ff7f54b0a8543c289abf295cf9a9f503582a9a1 /src/dotty/tools/dotc/core/TypeComparer.scala | |
parent | b4c0e4af5ef03384f24e370059724be7c1ca6fb3 (diff) | |
download | dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.gz dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.tar.bz2 dotty-54a1bce87b4682ccfb97504e2daa7c36cbf207b2.zip |
Tightening up typer state + printing refinements
1) Made consistency checking water tight, so that inconsistencies are always catched wehn they arise
2) Fixed problem in implicit search that led to inconsistencies
3) Refined printing of type parameters and type arguments
Diffstat (limited to 'src/dotty/tools/dotc/core/TypeComparer.scala')
-rw-r--r-- | src/dotty/tools/dotc/core/TypeComparer.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/core/TypeComparer.scala b/src/dotty/tools/dotc/core/TypeComparer.scala index 5701fcc95..cf24743bf 100644 --- a/src/dotty/tools/dotc/core/TypeComparer.scala +++ b/src/dotty/tools/dotc/core/TypeComparer.scala @@ -796,7 +796,7 @@ class ExplainingTypeComparer(initctx: Context) extends TypeComparer(initctx) { } override def isSubType(tp1: Type, tp2: Type) = - traceIndented(s"${show(tp1)} <:< ${show(tp2)} ${tp1.getClass} ${tp2.getClass}") { + traceIndented(s"${show(tp1)} <:< ${show(tp2)}") { super.isSubType(tp1, tp2) } |