diff options
| author | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-18 14:08:51 +0200 |
|---|---|---|
| committer | Matth?us G. Chajdas <dev@anteru.net> | 2019-05-18 14:08:51 +0200 |
| commit | 749842e13e5d44236716529f18c3471229fe12de (patch) | |
| tree | 166d718bbb0fab570c1e46f87b66d2818f0dbbb8 | |
| parent | ef8476c4cb27220bb286f4410fe04ad22da0d2b4 (diff) | |
| download | pygments-749842e13e5d44236716529f18c3471229fe12de.tar.gz | |
Stop highlighting primitive types in Coq (fixes #1430.)
| -rw-r--r-- | CHANGES | 3 | ||||
| -rw-r--r-- | pygments/lexers/theorem.py | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -11,10 +11,13 @@ Version 2.4.1 - Updated lexers: + * Coq (#1430) * MSDOS Session (PR#734) + * TypeScript (#1515) - Support CSS variables in stylesheets (PR#814) - Fix F# lexer name (PR#709) +- Fix ``TerminalFormatter`` using bold for bright text (#1480) Version 2.4.0 ------------- diff --git a/pygments/lexers/theorem.py b/pygments/lexers/theorem.py index e84a398b..e7619c33 100644 --- a/pygments/lexers/theorem.py +++ b/pygments/lexers/theorem.py @@ -98,7 +98,6 @@ class CoqLexer(RegexLexer): operators = r'[!$%&*+\./:<=>?@^|~-]' prefix_syms = r'[!?~]' infix_syms = r'[=<>@^|&+\*/$%-]' - primitives = ('unit', 'nat', 'bool', 'string', 'ascii', 'list') tokens = { 'root': [ @@ -115,7 +114,6 @@ class CoqLexer(RegexLexer): (r'\b([A-Z][\w\']*)', Name), (r'(%s)' % '|'.join(keyopts[::-1]), Operator), (r'(%s|%s)?%s' % (infix_syms, prefix_syms, operators), Operator), - (r'\b(%s)\b' % '|'.join(primitives), Keyword.Type), (r"[^\W\d][\w']*", Name), |