diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-09-19 19:26:16 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-10 13:25:34 +0200 |
| commit | e24289ac19a21c6b3794d02e8fe42766224f173c (patch) | |
| tree | 94dae1ffb70995c2851550952f0f17a953936711 /src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala | |
| parent | 628b7f317756ce2c366359a7399b8dda9d0190b7 (diff) | |
| download | dotty-e24289ac19a21c6b3794d02e8fe42766224f173c.tar.gz dotty-e24289ac19a21c6b3794d02e8fe42766224f173c.tar.bz2 dotty-e24289ac19a21c6b3794d02e8fe42766224f173c.zip | |
Make relevant parts of compiler conform to new error handling
Diffstat (limited to 'src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala')
| -rw-r--r-- | src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala index 1ef8b3447..c5ff8cb6b 100644 --- a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala +++ b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala @@ -5,7 +5,7 @@ package reporting import scala.collection.mutable import util.{SourcePosition, SourceFile} import core.Contexts.Context -import diagnostic.Message +import diagnostic.MessageContainer /** * This trait implements `isHidden` so that multiple messages per position @@ -18,7 +18,7 @@ trait UniqueMessagePositions extends Reporter { /** Logs a position and returns true if it was already logged. * @note Two positions are considered identical for logging if they have the same point. */ - override def isHidden(m: Message)(implicit ctx: Context): Boolean = + override def isHidden(m: MessageContainer)(implicit ctx: Context): Boolean = super.isHidden(m) || { m.pos.exists && { positions get (ctx.source, m.pos.point) match { |