LeanLexer does not have a "^" operator

Issue #1459 new
Anonymous created an issue

This is valid Lean code:

#eval 2^6

Processing it with Pygmentize (v. 2.2.0) produces an error:

error

<div class="highlight"><pre><span></span><span class="bp">#</span><span class="kn">eval</span> <span class="mi">2</span><span class="err">^</span><span class="mi">6</span>
</pre></div>

Furthermore, processing code with Sphinx skips highlighting all together!

"WARNING: Could not lex literal_block as "lean". Highlighting skipped."

Comments (0)

  1. Log in to comment