• jpm@cs.ox.ac.uk's avatar
    New kind-polymorphic core · 09015be8
    jpm@cs.ox.ac.uk 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