diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-16 13:34:57 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:33 +0200 |
commit | 18a69f7bd230bc06696e41be53a6735aa6e94ccc (patch) | |
tree | c21f0dc527194048b2195f2a1c4d98b1149cd3cf /src/dotty/tools/dotc/reporting/ConsoleReporter.scala | |
parent | 12ac3054bf4288403babb172c125cdc98cfff012 (diff) | |
download | dotty-18a69f7bd230bc06696e41be53a6735aa6e94ccc.tar.gz dotty-18a69f7bd230bc06696e41be53a6735aa6e94ccc.tar.bz2 dotty-18a69f7bd230bc06696e41be53a6735aa6e94ccc.zip |
Rename Diagnostic to diagnostic.Message
Diffstat (limited to 'src/dotty/tools/dotc/reporting/ConsoleReporter.scala')
-rw-r--r-- | src/dotty/tools/dotc/reporting/ConsoleReporter.scala | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala index 1d9423b70..1ed889683 100644 --- a/src/dotty/tools/dotc/reporting/ConsoleReporter.scala +++ b/src/dotty/tools/dotc/reporting/ConsoleReporter.scala @@ -8,6 +8,7 @@ import core.Contexts._ import Reporter._ import java.io.{ BufferedReader, IOException, PrintWriter } import scala.reflect.internal.util._ +import diagnostic.Message /** * This class implements a Reporter that displays messages on a text @@ -40,17 +41,17 @@ class ConsoleReporter( } } - override def doReport(d: Diagnostic)(implicit ctx: Context): Unit = d match { - case d: Error => - printMessageAndPos(d.message, d.pos, d.kind) + override def doReport(m: Message)(implicit ctx: Context): Unit = m match { + case m: Error => + printMessageAndPos(m.message, m.pos, m.kind) if (ctx.settings.prompt.value) displayPrompt() - case d: ConditionalWarning if !d.enablingOption.value => - case d: MigrationWarning => - printMessageAndPos(d.message, d.pos, d.kind) - case d: Warning => - printMessageAndPos(d.message, d.pos, d.kind) + case m: ConditionalWarning if !m.enablingOption.value => + case m: MigrationWarning => + printMessageAndPos(m.message, m.pos, m.kind) + case m: Warning => + printMessageAndPos(m.message, m.pos, m.kind) case _ => - printMessageAndPos(d.message, d.pos, d.kind) + printMessageAndPos(m.message, m.pos, m.kind) } def displayPrompt(): Unit = { |