In Coq there is nothing particularly special about the primitive types (
unit, ...) that justifies them being highlighted. In fact it can be quite distracting when those types are not the focus of a document.
primitive keywords be removed from
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?