1. Georg Brandl
  2. pygments-main
Issue #820 new

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 (0)

  1. Log in to comment