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

Block comment higlighting (with a "|") #16

Open
alenkis opened this issue Nov 18, 2023 · 1 comment
Open

Block comment higlighting (with a "|") #16

alenkis opened this issue Nov 18, 2023 · 1 comment

Comments

@alenkis
Copy link

alenkis commented Nov 18, 2023

Hi!

I've noticed that comments like this

--| ...
foo x = y

fail to properly hightlight as comments, and what I see is this:
Screenshot 2023-11-17 at 5 17 59 PM

I've tried to fix this on my end by adding

(add-hook 'purescript-mode-hook
          (lambda ()
            (font-lock-add-keywords nil
                                    '(("--|.*" . font-lock-comment-face)))))

But this doesn't fully solve the problem, as ocassionally keywords appear in the comment line, which somehow breaks the comment highlighting 🤷‍♂️

Is this supported? Any advice on how to fix it?
Thanks!

@kritzcreek
Copy link
Contributor

Is this supported? Any advice on how to fix it?

Sorry unfortunately I have no clue :D

My hope is that at some point we can switch over to tree-sitter based highlighting. If you do manage to figure it out, I'd be happy to accept a PR

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

2 participants