Changes between Version 29 and Version 30 of GhcKinds


Ignore:
Timestamp:
Apr 25, 2012 3:32:42 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • GhcKinds

    v29 v30  
    44
    55This page gives additional implementation details for the `-XPolyKinds` flag. The grand design is described in the paper [http://dreixel.net/research/pdf/ghp.pdf 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 [http://haskell.org/haskellwiki/GHC/Kinds Haskell wiki page]. What still doesn't work, or doesn't work correctly, is described here.
     6
     7Sub-pages
     8 * [wiki:GhcKinds/KindPolymorphism]
     9 * [wiki:GhcKinds/PolyTypeable] A kind-polymorphic version of the `Typeable` class.
    610
    711