... | ... | @@ -32,7 +32,7 @@ T :: forall {k} k2. k2 -> Type |
|
|
f :: T {Type} @Type Int
|
|
|
```
|
|
|
|
|
|
- [Proposal 54: top-level kind signatures for type constuctors](https://github.com/ghc-proposals/ghc-proposals/pull/54) (depends on Proposal 81). See [this tweak](https://github.com/ghc-proposals/ghc-proposals/pull/227) for associated types. TEH ticket is #16794.
|
|
|
- [Proposal 36: top-level kind signatures](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-kind-signatures.rst) (depends on Proposal 81). See [this tweak](https://github.com/ghc-proposals/ghc-proposals/pull/227) for associated types. TEH ticket is #16794.
|
|
|
|
|
|
- DONE (in !361) [Proposal 103: treat kind and type variables identically in forall](https://github.com/ghc-proposals/ghc-proposals/pull/103) (depends on Proposal 83). Includes applying the "forall-or-nothing rule" to kind variables. The proposal says "wait until two releases after Proposal 83 is done (which was in 8.6)". So we can do this in HEAD as soon as 8.8 forks. Subsumes #14548. See also #16110 (comments around 8 May).
|
|
|
|
... | ... | |