aboutsummaryrefslogtreecommitdiff
path: root/compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala
diff options
context:
space:
mode:
authorNicolas Stucki <nicolas.stucki@gmail.com>2017-02-16 10:59:29 +0100
committerNicolas Stucki <nicolas.stucki@gmail.com>2017-02-16 11:08:17 +0100
commiteff2e07c322144c2886e7598d534d73f67906570 (patch)
treeeb7931ee899f2bb9497eda8e264f3cf63532bcd3 /compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala
parent39af2f595979c6bbeb3cfa52d401cf59be68126b (diff)
downloaddotty-eff2e07c322144c2886e7598d534d73f67906570.tar.gz
dotty-eff2e07c322144c2886e7598d534d73f67906570.tar.bz2
dotty-eff2e07c322144c2886e7598d534d73f67906570.zip
Use enum for error messages IDs.
Diffstat (limited to 'compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala')
-rw-r--r--compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala9
1 files changed, 5 insertions, 4 deletions
diff --git a/compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala b/compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala
index 24d583b19..190445d60 100644
--- a/compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala
+++ b/compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala
@@ -5,7 +5,7 @@ package reporting
import core.Contexts.Context
import core.Decorators._
import printing.Highlighting.{Blue, Red}
-import diagnostic.{Message, MessageContainer, NoExplanation}
+import diagnostic.{ErrorMessageID, Message, MessageContainer, NoExplanation}
import diagnostic.messages._
import util.SourcePosition
@@ -95,9 +95,10 @@ trait MessageRendering {
if (pos.exists) Blue({
val file = pos.source.file.toString
val errId =
- if (message.errorId != NoExplanation.ID)
- s"[E${"0" * (3 - message.errorId.toString.length) + message.errorId}] "
- else ""
+ if (message.errorId ne ErrorMessageID.NoExplanationID) {
+ val errorNumber = message.errorId.errorNumber()
+ s"[E${"0" * (3 - errorNumber.toString.length) + errorNumber}] "
+ } else ""
val kind =
if (message.kind == "") diagnosticLevel
else s"${message.kind} $diagnosticLevel"