From eff2e07c322144c2886e7598d534d73f67906570 Mon Sep 17 00:00:00 2001
From: Nicolas Stucki <nicolas.stucki@gmail.com>
Date: Thu, 16 Feb 2017 10:59:29 +0100
Subject: Use enum for error messages IDs.

---
 compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

(limited to 'compiler/src/dotty/tools/dotc/reporting/MessageRendering.scala')

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"
-- 
cgit v1.2.3