diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-06-02 11:57:35 +0200 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-06-02 11:57:35 +0200 |
commit | 07c5a0ae7281616c410bf7f4397de844c59327ab (patch) | |
tree | 38354fcbe2271e361f5be7809ddff12dd39b6856 /src/dotty/tools/dotc/printing/SyntaxHighlighting.scala | |
parent | fabe697b881915da87e6ad253ca987dbc9a8d1ca (diff) | |
download | dotty-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/printing/SyntaxHighlighting.scala')
-rw-r--r-- | src/dotty/tools/dotc/printing/SyntaxHighlighting.scala | 19 |
1 files changed, 11 insertions, 8 deletions
diff --git a/src/dotty/tools/dotc/printing/SyntaxHighlighting.scala b/src/dotty/tools/dotc/printing/SyntaxHighlighting.scala index 14b3a5050..8a79e1ddc 100644 --- a/src/dotty/tools/dotc/printing/SyntaxHighlighting.scala +++ b/src/dotty/tools/dotc/printing/SyntaxHighlighting.scala @@ -89,8 +89,9 @@ object SyntaxHighlighting { append('<', { x => x == "<-" || x == "<:" || x == "<%" }, keyword) case '>' => append('>', { x => x == ">:" }, keyword) - case '#' if prev != ' ' && prev != '.' => - newBuf append keyword("#") + case '#' => + if (prev != ' ' && prev != '.') newBuf append keyword("#") + else newBuf += n prev = '#' case '@' => appendWhile('@', _ != ' ', annotation) @@ -100,12 +101,14 @@ object SyntaxHighlighting { appendLiteral('\'') case '`' => appendTo('`', _ == '`', none) - case c if c.isUpper && keywordStart => - appendWhile(c, !typeEnders.contains(_), typeDef) - case c if numberStart(c) => - appendWhile(c, { x => x.isDigit || x == '.' || x == '\u0000'}, literal) - case c => - newBuf += c; prev = c + case _ => { + if (n.isUpper && keywordStart) + appendWhile(n, !typeEnders.contains(_), typeDef) + else if (numberStart(n)) + appendWhile(n, { x => x.isDigit || x == '.' || x == '\u0000'}, literal) + else + newBuf += n; prev = n + } } } } |