Version 17 (modified by dreixel, 6 years ago) (diff)


Kind polymorphism and datatype promotion

This page gives additional implementation details for the -XPolyKinds flag. The grand design is described in the paper Giving Haskell a Promotion. Most of the work has been done and merged into GHC 7.4.1. The relevant user documentation is in [the user's guide (add link when it's up)] and on the Haskell wiki page. What still doesn't work, or doesn't work correctly, is described here.

Explicit kind variables

Kind defaulting in type families

#5682 (proper handling of infix promoted constructors)

Kind synonyms (from type synonym promotion)

Generalized Algebraic Data Kinds (GADKs)