Haskell: highlighting promoted types

Issue #820 closed
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 (5)

  1. Log in to comment