diff options
author | Martin Odersky <odersky@gmail.com> | 2015-09-21 22:21:06 +0200 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-01 19:33:25 +0200 |
commit | 22417e217d7e5656af3ded79411db29589239f27 (patch) | |
tree | 416945de76b3cba96dbd0b2c7c300506f6459ea9 /src | |
parent | e14f23bfea5d3211d89a827567759350e1b79a03 (diff) | |
download | dotty-22417e217d7e5656af3ded79411db29589239f27.tar.gz dotty-22417e217d7e5656af3ded79411db29589239f27.tar.bz2 dotty-22417e217d7e5656af3ded79411db29589239f27.zip |
Don't log when in Printing mode.
Logging while printing messes up the recursion counts.
Diffstat (limited to 'src')
-rw-r--r-- | src/dotty/tools/dotc/reporting/Reporter.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/Reporter.scala b/src/dotty/tools/dotc/reporting/Reporter.scala index 7adeeac1c..766009a8b 100644 --- a/src/dotty/tools/dotc/reporting/Reporter.scala +++ b/src/dotty/tools/dotc/reporting/Reporter.scala @@ -159,7 +159,8 @@ trait Reporting { this: Context => logctx.log(s"${base.indentTab * base.indent}${trailing(result)}$note") finalized = true } - try { + if (ctx.mode.is(Mode.Printing)) op + else try { logctx.log(s"${base.indentTab * base.indent}$leading") base.indent += 1 val res = op |