CoqLexer: missing operator '<->'

Issue #1011 resolved
brab
created an issue

The operator '<->' seems to be missing from the list of operators in CoqLexer (https://bitbucket.org/birkenfeld/pygments-main/src/bec55c895c0475097940dde470060a68e6ce6958/pygments/lexers/functional.py?at=default#cl-2802). It is thus parsed as two operators '<-' followed by '>'.

Could it be added to the list of operators?

Comments (4)

  1. brab reporter

    I'm writing a filter that converts operators into unicode versions, and it fails in this case as the stream returns two elements instead of one for '<->'.

  2. Log in to comment