aboutsummaryrefslogtreecommitdiff
path: root/src/dotty/tools/dotc/transform/PatternMatcher.scala
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-06-02 11:57:35 +0200
committerFelix Mulder <felix.mulder@gmail.com>2016-06-02 11:57:35 +0200
commit07c5a0ae7281616c410bf7f4397de844c59327ab (patch)
tree38354fcbe2271e361f5be7809ddff12dd39b6856 /src/dotty/tools/dotc/transform/PatternMatcher.scala
parentfabe697b881915da87e6ad253ca987dbc9a8d1ca (diff)
downloaddotty-07c5a0ae7281616c410bf7f4397de844c59327ab.tar.gz
dotty-07c5a0ae7281616c410bf7f4397de844c59327ab.tar.bz2
dotty-07c5a0ae7281616c410bf7f4397de844c59327ab.zip
Fix #1292: give position when failing to emit switch on annotated match
This fix gives the position and refactors the code that gave off warnings, but it also begs the question - should we be able to handle emitting a switch for the following case: ```scala (x: @switch) match { case 'a' if somePredicate(x) => // ... case 'b' => // ... } ``` Currently if there is a guard, the patternmatcher will fail to emit a switch. Scalac can handle these cases currently.
Diffstat (limited to 'src/dotty/tools/dotc/transform/PatternMatcher.scala')
-rw-r--r--src/dotty/tools/dotc/transform/PatternMatcher.scala2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dotty/tools/dotc/transform/PatternMatcher.scala b/src/dotty/tools/dotc/transform/PatternMatcher.scala
index d77dcaae4..fd89696a8 100644
--- a/src/dotty/tools/dotc/transform/PatternMatcher.scala
+++ b/src/dotty/tools/dotc/transform/PatternMatcher.scala
@@ -434,7 +434,7 @@ class PatternMatcher extends MiniPhaseTransform with DenotTransformer {thisTrans
}
} else {
if (dealiased hasAnnotation defn.SwitchAnnot)
- ctx.warning("failed to emit switch for `@switch` annotated match")
+ ctx.warning("failed to emit switch for `@switch` annotated match", scrut.pos)
None
}
}