Coq: don't highlight primitive types

Issue #1430 new
created an issue

In Coq there is nothing particularly special about the primitive types (nat, list, unit, ...) that justifies them being highlighted. In fact it can be quite distracting when those types are not the focus of a document.

Can the primitive keywords be removed from CoqLexer?

In the meantime, I made my own plugin by copy-pasting the CoqLexer and removing the two or so relevant lines, but the code duplication looks pretty bad to me. What is the most concise way to remove specific rules from an existing lexer?

Comments (0)

  1. Log in to comment