• dreixel's avatar
    New kind-polymorphic core · 09015be8
    dreixel authored
    This big patch implements a kind-polymorphic core for GHC. The current
    implementation focuses on making sure that all kind-monomorphic programs still
    work in the new core; it is not yet guaranteed that kind-polymorphic programs
    (using the new -XPolyKinds flag) will work.
    For more information, see http://haskell.org/haskellwiki/GHC/Kinds
TcRnTypes.lhs 47.8 KB