Font lock types in their own color

[gracjan]

Fixes #899.

[gracjan]

So it currently looks like this:

[gracjan]

Todo:

• multiline cases do not refresh properly, possibly use font-lock-extend-region-functions
• handle class and instance with functional deps
• handle data ... where (looks easy)
• handle normal data X1 = X2 Int String (this is hard, has to know that X2 is constructor but Int and String are types )
• write lots of unit cases
• handle module (...) header (very hard)
• patterns? views?
• handle type MyInt = Int (hard, has to cross equal sign)
• handle data family and type family
• handle data X = Int :+: String | String :-: Int
• handle data X a b = Either a Int :+: Either String b | Either a String :-: Either Int b

[gracjan]

In case of data X = X1 Int | X2 String everything is a type except uppercase constructors directly following equals or vertical bar.

[geraldus]

Nice solution (:

[gracjan]

So both patterns and views work only with constructors.

[geraldus]

can haskell-font-lock--reverved-ids be re-used here? (:

[gracjan]

Sorta maybe. I mean I'm too tired to make sure that all keywords end types. Is forall a keyword? is there other keyword that can happen in types?

[gracjan]

And, btw, thanks for reading this. It wasn't easy to write so I'm grateful for all the help.

[gracjan]

Fixed.

[geraldus]

I always read everything, PRs, issues, and code (: But, unfortunately most of the time I have nothing to add ):

[gracjan]

Mostly done. Lets give it a couple of days lying here and then we merge.