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

Haskell highlighting is fairly monotone #58

Open
davidgarland opened this issue Dec 8, 2019 · 4 comments
Open

Haskell highlighting is fairly monotone #58

davidgarland opened this issue Dec 8, 2019 · 4 comments

Comments

@davidgarland
Copy link

davidgarland commented Dec 8, 2019

Environment:

  • Void Linux
  • Neovim 0.4.3
  • Kitty

If you have a trouble with coloration and are using Vim/Neovim with terminal:

  • [Yes] Does your Vim support full colors? (:set termguicolors)
  • [Yes] Does your terminal support full colors? (e.g. Terminal.app doesn't support it)

Imgur
Imgur

At the moment function names are highlighted for type definitions but not when doing pattern matching, and constructors have the same color as types and keywords, which is kind of uninformative. Is there any way this could be tweaked without breaking colors for other languages?

@cocopon
Copy link
Owner

cocopon commented Dec 25, 2020

Could you share a URL for those codes? I'd like to test them in my environment.

@davidgarland
Copy link
Author

I don't happen to have that specific file around anymore (I was probably doing record types incorrectly anyways) but here are some other (actually working, as far as I can tell) typecheckers that could serve as some good test programs:

https://github.com/davidgarland/types/blob/master/typed/bidirectional_type_checking/bidir.hs
https://github.com/davidgarland/types/blob/master/typed/compositional_type_checking/comp.hs
https://github.com/davidgarland/types/blob/master/typed/dependent_types/bruijn.hs

@fragov
Copy link

fragov commented Feb 12, 2022

@davidgarland, are you using some plugin for Haskell or have you set up treesitter for it? Because it looks a bit better for me (I'm using treesitter):
Capto_Capture 2022-02-12_06-40-55_PM

@fragov
Copy link

fragov commented Feb 12, 2022

I think it is related to this issue: #97

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

3 participants