1. Georg Brandl
  2. pygments-main
  3. Issues
Issue #820 closed

Haskell: highlighting promoted types

Anonymous created an issue

GHC DataKinds extension introduces new syntax for data constructors promoted to type level. A type name can now include a single quote in the beginning, see: http://www.haskell.org/ghc/docs/latest/html/users_guide/promotion.html#promotion-syntax Also, GHC TypeFamilies extension introduces "family" keyword which isn't highlighted yet. example: http://pygments.org/demo/58336/

Comments (3)

  1. Log in to comment