pygments: Don't add a WarnOnErrorTokenFilter to lexers other than Coq

cpitclaudel · Aug 27, 2021 · 622fa8e · 622fa8e
1 parent 666b7a5
commit 622fa8e
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/alectryon/pygments.py b/alectryon/pygments.py
@@ -54,10 +54,11 @@ def get_lexer(lang):
     # LATER: Upstream Coq lexer, remove this branch
     if lang == "coq":
         lexer = CoqLexer(ensurenl=False)
+        # Coq only, since some lexers report plenty of errors
+        lexer.add_filter(WarnOnErrorTokenFilter())
     else:
         lexer = get_lexer_by_name(lang, ensurenl=False)
     lexer.add_filter(TokenMergeFilter())
-    lexer.add_filter(WarnOnErrorTokenFilter())
     return lexer
 
 def add_tokens(tokens, lang="coq"):