Highlighting Type class and Data constructor

[swr1bm86]

Currently, the type classes and data constructors are not highlighted.

And this is highlighting with the syntax file translated directly from the atom package.

Maybe we can go back to the old highlighting style? @be5invis

[be5invis]

@zjhmale I am fixing that.

[swr1bm86]

Thanks! @be5invis

[swr1bm86]

Hi @be5invis I just pulled you fix but type classes and data constructors are still not highlighted. Am I missing something here? Thx in advance.

[be5invis]

Do you have a proper theme? Data constructors are in entity.name.constructor.idris.

[be5invis]

In Railgun theme:

[be5invis]

OK i switched into entity.name.function.idris for data constructors.

[swr1bm86]

@be5invis Thanks! It works now. I work with OneDark theme 😅