... | ... | @@ -3,6 +3,12 @@ |
|
|
|
|
|
This page gives additional implementation details for the `-XPolyKinds` flag. The grand design is described in the paper [ Giving Haskell a Promotion](http://dreixel.net/research/pdf/ghp.pdf). 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](http://haskell.org/haskellwiki/GHC/Kinds). What still doesn't work, or doesn't work correctly, is described here.
|
|
|
|
|
|
|
|
|
Sub-pages
|
|
|
|
|
|
- [GhcKinds/KindPolymorphism](ghc-kinds/kind-polymorphism)
|
|
|
- [GhcKinds/PolyTypeable](ghc-kinds/poly-typeable) A kind-polymorphic version of the `Typeable` class.
|
|
|
|
|
|
# Explicit kind variables
|
|
|
|
|
|
|
... | ... | |