Use nice unicode symbols for keywords

[basvandijk]

When I have this in my source:

runDeviceRegionT ∷ MonadCatchIO pr ⇒ (∀ s. DeviceRegionT s pr α) → pr α

It is rendered to this:

runDeviceRegionT :: MonadCatchIO pr => (forall s. DeviceRegionT s pr α) -> pr α

So all the nice unicode symbol keywords are rendered as their ASCII equivalents.

It would be nice if the nice unicode symbols were kept intact.

There seems to me three approaches we can take:

• Status-quo: All keywords will always be shown in ASCII regardless of their potential nice unicode symbol source.
• Have an option to only show nice unicode symbols for only those keywords that have a unicode symbol source.
• Have an option to always show nice unicode symbols for all keywords regardless of their potential ASCII or nice unicode symbol source.

[waern]

See --use-unicode.

[anonymous]

Milestone 2.5.0 deleted