diff options
author | Martin Odersky <odersky@gmail.com> | 2014-01-16 22:11:54 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2014-01-16 22:11:54 +0100 |
commit | 2efd4f58a422ca7e308122e6fe9af0a530e10d67 (patch) | |
tree | 659254ca9ed6acf5c15d72f9286f57da2134e801 /src/dotty/tools/dotc | |
parent | bf59937182b66d12d01c11ff5dd27346ee4a9db4 (diff) | |
download | dotty-2efd4f58a422ca7e308122e6fe9af0a530e10d67.tar.gz dotty-2efd4f58a422ca7e308122e6fe9af0a530e10d67.tar.bz2 dotty-2efd4f58a422ca7e308122e6fe9af0a530e10d67.zip |
Making UniqueMessagePositions Dotty compliant
Diffstat (limited to 'src/dotty/tools/dotc')
-rw-r--r-- | src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala index 93e24b27f..483228693 100644 --- a/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala +++ b/src/dotty/tools/dotc/reporting/UniqueMessagePositions.scala @@ -21,7 +21,7 @@ trait UniqueMessagePositions extends Reporter { override def isHidden(d: Diagnostic)(implicit ctx: Context): Boolean = super.isHidden(d) || { d.pos.exists && { - positions get (ctx.source, d.pos.point) match { + positions get ((ctx.source, d.pos.point)) match { // Dotty deviation: no autotupling case Some(s) if s.level >= d.severity.level => true case _ => positions((ctx.source, d.pos.point)) = d.severity; false } |