I added the following to markdown/Source.md:
str : String
str =
"""
Didn't expect the whitespace and the brackets to be considered data
constructors. The whitespace at the beginning of each line isn't
significant, so I'd think it wouldn't get highlighted.
\{ show (1 + 1) }
Also expected the whitespace inside the snippet to have the same highlight as
the whitespace outside (none at all).
"""
<+> show (1 + 1)
Here is a sample of the unexpected whitespace and bracket getting highlighted as a data constructor:
<span class="IdrisData"> \\{ </span>
I added the following to
markdown/Source.md:Here is a sample of the unexpected whitespace and bracket getting highlighted as a data constructor:
<span class="IdrisData"> \\{ </span>