diff options
| author | Martin Odersky <odersky@gmail.com> | 2013-08-22 09:27:34 +0200 |
|---|---|---|
| committer | Martin Odersky <odersky@gmail.com> | 2013-08-22 09:27:34 +0200 |
| commit | cbcdbd6fb8c0bf372a61b4ddd5b6ce181964776d (patch) | |
| tree | 3586e93b3e71ca8f11b9b7bd7e6a80af1a226dcf /src/dotty/tools/dotc/reporting/Reporter.scala | |
| parent | 4d8329667a71242e56907a73760f1212a96d9376 (diff) | |
| download | dotty-cbcdbd6fb8c0bf372a61b4ddd5b6ce181964776d.tar.gz dotty-cbcdbd6fb8c0bf372a61b4ddd5b6ce181964776d.tar.bz2 dotty-cbcdbd6fb8c0bf372a61b4ddd5b6ce181964776d.zip | |
Various bug fixes for typer.
Diffstat (limited to 'src/dotty/tools/dotc/reporting/Reporter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/Reporter.scala | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/src/dotty/tools/dotc/reporting/Reporter.scala b/src/dotty/tools/dotc/reporting/Reporter.scala index ba463ebce..03249a082 100644 --- a/src/dotty/tools/dotc/reporting/Reporter.scala +++ b/src/dotty/tools/dotc/reporting/Reporter.scala @@ -130,9 +130,13 @@ trait Reporting { this: Context => if (this.settings.debugTrace.value) traceIndented(question)(op) else op - def traceIndented[T](question: => String)(op: => T): T = - traceIndented[T](s"==> $question?", (res: Any) => s"<== $question = $res")(op) - + def traceIndented[T](question: => String, show: Boolean = false)(op: => T): T = { + def resStr(res: Any): String = res match { + case res: printing.Showable if show => res.show + case _ => String.valueOf(res) + } + traceIndented[T](s"==> $question?", (res: Any) => s"<== $question = ${resStr(res)}")(op) + } def traceIndented[T](leading: => String, trailing: Any => String)(op: => T): T = { var finalized = false def finalize(result: Any, note: String) = |