diff options
author | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-02-16 10:59:29 +0100 |
---|---|---|
committer | Nicolas Stucki <nicolas.stucki@gmail.com> | 2017-02-16 11:08:17 +0100 |
commit | eff2e07c322144c2886e7598d534d73f67906570 (patch) | |
tree | eb7931ee899f2bb9497eda8e264f3cf63532bcd3 /compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala | |
parent | 39af2f595979c6bbeb3cfa52d401cf59be68126b (diff) | |
download | dotty-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.scala | 9 |
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" |