Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Whitespace in multiline string literals inconsistent with outside #28

Open
ysangkok opened this issue Oct 31, 2022 · 0 comments
Open

Whitespace in multiline string literals inconsistent with outside #28

ysangkok opened this issue Oct 31, 2022 · 0 comments

Comments

@ysangkok
Copy link

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">&nbsp;&nbsp;&nbsp;&nbsp;\\{&nbsp;</span>

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant