diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-29 17:10:45 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:36 +0200 |
| commit | f23ff3abba8663a0e7f64f79b556efd36cc86a83 (patch) | |
| tree | d025c7362cd14bae1ac54b02d399554e3b91c12c /src/dotty/tools/dotc/reporting/ConsoleReporter.scala | |
| parent | 0781b31fa4e3d22cb6a51882b8d632ea9a16ed6f (diff) | |
| download | dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.tar.gz dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.tar.bz2 dotty-f23ff3abba8663a0e7f64f79b556efd36cc86a83.zip | |
Improve positions for MemberDefs using `namePos`
Diffstat (limited to 'src/dotty/tools/dotc/reporting/ConsoleReporter.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/ConsoleReporter.scala | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala index d96ff48a4..6ebd53bea 100644 --- a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala +++ b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala @@ -108,6 +108,7 @@ class ConsoleReporter( |${Blue("Explanation")} |${Blue("===========")}""".stripMargin) printMessage(m.explanation) + if (m.explanation.lastOption != Some('\n')) printMessage("") } override def doReport(m: MessageContainer)(implicit ctx: Context): Unit = { |