diff options
author | Georg Brandl <georg@python.org> | 2014-11-06 10:55:21 +0100 |
---|---|---|
committer | Georg Brandl <georg@python.org> | 2014-11-06 10:55:21 +0100 |
commit | 7f412caf248c9c4135144aaeca0f5d1a49f4471a (patch) | |
tree | ca5c29fa0dc915e74ce92884a48bef1fda6928b4 /pygments | |
parent | f85f1efd48098dbb8cbf69b90e25b247ca07e39f (diff) | |
download | pygments-7f412caf248c9c4135144aaeca0f5d1a49f4471a.tar.gz |
Scala: fix recognition of Unicode => operator
Diffstat (limited to 'pygments')
-rw-r--r-- | pygments/lexers/jvm.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pygments/lexers/jvm.py b/pygments/lexers/jvm.py index 7adeae59..37b99f9a 100644 --- a/pygments/lexers/jvm.py +++ b/pygments/lexers/jvm.py @@ -298,8 +298,8 @@ class ScalaLexer(RegexLexer): ], 'type': [ (r'\s+', Text), - (u'<[%:]|>:|[#_\u21D2]|forSome|type', Keyword), - (r'([,\);}]|=>|=)(\s*)', bygroups(Operator, Text), '#pop'), + (u'<[%:]|>:|[#_]|forSome|type', Keyword), + (u'([,);}]|=>|=|\u21d2)(\\s*)', bygroups(Operator, Text), '#pop'), (r'[\(\{]', Operator, '#push'), (u'((?:%s|%s|`[^`]+`)(?:\\.(?:%s|%s|`[^`]+`))*)(\\s*)(\\[)' % (idrest, op, idrest, op), |