diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-13 14:43:32 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-13 14:43:32 +0100 |
commit | a7de2380c1d0864a4b54a3e9630543bebeac2c31 (patch) | |
tree | 0f62678f6de2c1d6029bc5cd059225fad5311a93 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | 7a482f18a47945e118c3ab44697b8b8bebe4002a (diff) | |
download | dotty-a7de2380c1d0864a4b54a3e9630543bebeac2c31.tar.gz dotty-a7de2380c1d0864a4b54a3e9630543bebeac2c31.tar.bz2 dotty-a7de2380c1d0864a4b54a3e9630543bebeac2c31.zip |
Making some traces conditional on printers being enabled.
Diffstat (limited to 'src/dotty/tools/dotc/typer/Applications.scala')
-rw-r--r-- | src/dotty/tools/dotc/typer/Applications.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala index 9ed05ff97..60216c41f 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -728,7 +728,7 @@ trait Applications extends Compatibility { self: Typer => /** In a set of overloaded applicable alternatives, is `alt1` at least as good as * `alt2`? `alt1` and `alt2` are nonoverloaded references. */ - def isAsGood(alt1: TermRef, alt2: TermRef)(implicit ctx: Context): Boolean = track("isAsGood") { ctx.traceIndented(i"isAsGood($alt1, $alt2)") { + def isAsGood(alt1: TermRef, alt2: TermRef)(implicit ctx: Context): Boolean = track("isAsGood") { ctx.traceIndented(overload, i"isAsGood($alt1, $alt2)") { assert(alt1 ne alt2) @@ -747,7 +747,7 @@ trait Applications extends Compatibility { self: Typer => * 2. `tp2` and `tp1` are method or poly types and `tp2` can be applied to the parameters of `tp1`. * 3. Neither `tp1` nor `tp2` are method or poly types and `tp1` is compatible with `tp2`. */ - def isAsSpecific(alt1: TermRef, tp1: Type, alt2: TermRef, tp2: Type): Boolean = ctx.traceIndented(i"isAsSpecific $tp1 $tp2") { tp1 match { + def isAsSpecific(alt1: TermRef, tp1: Type, alt2: TermRef, tp2: Type): Boolean = ctx.traceIndented(overload, i"isAsSpecific $tp1 $tp2") { tp1 match { case tp1: PolyType => def bounds(tparamRefs: List[TypeRef]) = tp1.paramBounds map (_.substParams(tp1, tparamRefs)) val tparams = ctx.newTypeParams(alt1.symbol.owner, tp1.paramNames, EmptyFlags, bounds) |