diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-06-07 12:09:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-06-07 12:09:22 +0100 |
| commit | c91172004f2a5a6bf201b418c32c2d640ee34049 (patch) | |
| tree | fc1e62e6a0c1b4ff08ed3f3d0f79fb38cdfe3bde /compiler/codeGen/CodeGen.lhs | |
| parent | f964e7d4c71df175661ece61d8857f2e0b742181 (diff) | |
| download | haskell-c91172004f2a5a6bf201b418c32c2d640ee34049.tar.gz | |
Support polymorphic kind recursion
This is (I hope) the last major patch for kind polymorphism.
The big new feature is polymorphic kind recursion when you
supply a complete kind signature for a type constructor.
(I've documented it in the user manual too.)
This fixes Trac #6137, #6093, #6049.
The patch also makes type/data families less polymorphic by default.
data family T a
now defaults to T :: * -> *
If you want T :: forall k. k -> *, use
data family T (a :: k)
This defaulting to * is done whenever there is a
"complete, user-specified kind signature", something that is
carefully defined in the user manual.
Hurrah!
Diffstat (limited to 'compiler/codeGen/CodeGen.lhs')
0 files changed, 0 insertions, 0 deletions