diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-16 22:00:16 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-16 22:00:40 +0100 |
commit | bf59937182b66d12d01c11ff5dd27346ee4a9db4 (patch) | |
tree | da1aa5ce95b86aa9b17cd3911ef97698c5fa5f40 /src/dotty/tools/dotc/typer/Applications.scala | |
parent | d00c3f5e7925cd246fb10916f6a2d26111ac2689 (diff) | |
download | dotty-bf59937182b66d12d01c11ff5dd27346ee4a9db4.tar.gz dotty-bf59937182b66d12d01c11ff5dd27346ee4a9db4.tar.bz2 dotty-bf59937182b66d12d01c11ff5dd27346ee4a9db4.zip |
Refactoring to avoid multiple overloaded traceIndent methods.
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 6b73740bb..400c43e3c 100644 --- a/src/dotty/tools/dotc/typer/Applications.scala +++ b/src/dotty/tools/dotc/typer/Applications.scala @@ -741,7 +741,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(overload, i"isAsGood($alt1, $alt2)") { + def isAsGood(alt1: TermRef, alt2: TermRef)(implicit ctx: Context): Boolean = track("isAsGood") { ctx.traceIndented(i"isAsGood($alt1, $alt2)", overload) { assert(alt1 ne alt2) @@ -760,7 +760,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(overload, i"isAsSpecific $tp1 $tp2") { tp1 match { + def isAsSpecific(alt1: TermRef, tp1: Type, alt2: TermRef, tp2: Type): Boolean = ctx.traceIndented(i"isAsSpecific $tp1 $tp2", overload) { 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) |