Ticket #125 (closed enhancement: fixed)

Opened 5 years ago

Last modified 16 months ago

Use nice unicode symbols for keywords

Reported by: basvandijk Owned by:
Priority: minor Milestone:
Version: 2.4.2 Keywords:
Cc: ddssff@…, pho@…

Description

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.

Change History

Changed 3 years ago by dsf

  • cc ddssff@… added

Changed 3 years ago by PHO

  • cc pho@… added

Changed 3 years ago by waern

See --use-unicode.

Changed 2 years ago by anonymous

  • milestone 2.5.0 deleted

Milestone 2.5.0 deleted

Changed 16 months ago by Fūzetsu

  • status changed from new to closed
  • resolution set to fixed

Indeed --use-unicode or -U renders as you would expect.

http://fuuzetsu.co.uk/images/uflag.png

Closing.

Note: See TracTickets for help on using tickets.