diff options
| author | Georg Brandl <georg@python.org> | 2014-11-13 16:58:40 +0100 |
|---|---|---|
| committer | Georg Brandl <georg@python.org> | 2014-11-13 16:58:40 +0100 |
| commit | 1da822a475efc5be488abcd1847741ffadc9f606 (patch) | |
| tree | 907c5abb8a245d31224f000c1d5122f0638e5bc4 /pygments/lexers/dotnet.py | |
| parent | 153905b11a1043fbf8d6f6de39407c123134ff35 (diff) | |
| parent | 3b2a6c0a768ac74733b8e91bd2da46e7b9049d7d (diff) | |
| download | pygments-1da822a475efc5be488abcd1847741ffadc9f606.tar.gz | |
merge
Diffstat (limited to 'pygments/lexers/dotnet.py')
| -rw-r--r-- | pygments/lexers/dotnet.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pygments/lexers/dotnet.py b/pygments/lexers/dotnet.py index 39c03d47..d24f64ea 100644 --- a/pygments/lexers/dotnet.py +++ b/pygments/lexers/dotnet.py @@ -623,6 +623,7 @@ class FSharpLexer(RegexLexer): (r'\b(member|override)(\s+)(\w+)(\.)(\w+)', bygroups(Keyword, Text, Name, Punctuation, Name.Function)), (r'\b(%s)\b' % '|'.join(keywords), Keyword), + (r'``([^`\n\r\t]|`[^`\n\r\t])+``', Name), (r'(%s)' % '|'.join(keyopts), Operator), (r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator), (r'\b(%s)\b' % '|'.join(word_operators), Operator.Word), |