diff options
Diffstat (limited to 'src/dotty/tools/dotc/reporting/Reporter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/Reporter.scala | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/Reporter.scala b/src/dotty/tools/dotc/reporting/Reporter.scala index 03249a082..9ef16d67a 100644 --- a/src/dotty/tools/dotc/reporting/Reporter.scala +++ b/src/dotty/tools/dotc/reporting/Reporter.scala @@ -127,7 +127,10 @@ trait Reporting { this: Context => if (this.settings.debug.value) warning(msg, pos) def debugTraceIndented[T](question: => String)(op: => T): T = - if (this.settings.debugTrace.value) traceIndented(question)(op) + conditionalTraceIndented(this.settings.debugTrace.value, question)(op) + + def conditionalTraceIndented[T](cond: Boolean, question: => String, show: Boolean = false)(op: => T): T = + if (cond) traceIndented(question, show)(op) else op def traceIndented[T](question: => String, show: Boolean = false)(op: => T): T = { |