... | ... | @@ -11,7 +11,7 @@ These things are all either new features, or significant refactorings. All aime |
|
|
We should be clear about the dependencies between items on this list.
|
|
|
|
|
|
|
|
|
- [Proposal 81: Visible dependent quantification](https://github.com/ghc-proposals/ghc-proposals/pull/81). Just syntax! Lets you say `forall a -> ty` in types. See [GhcKinds/KindInference](ghc-kinds/kind-inference) and [GhcKinds/KindInference/Examples](ghc-kinds/kind-inference/examples).
|
|
|
- DONE [Proposal 81: Visible dependent quantification](https://github.com/ghc-proposals/ghc-proposals/pull/81). Just syntax! Lets you say `forall a -> ty` in types. See [GhcKinds/KindInference](ghc-kinds/kind-inference) and [GhcKinds/KindInference/Examples](ghc-kinds/kind-inference/examples).
|
|
|
|
|
|
- [Proposal 99: explicit specificity](https://github.com/ghc-proposals/ghc-proposals/pull/99). Lets us write `T :: forall {k} (a :: k).blah`.
|
|
|
|
... | ... | @@ -28,7 +28,7 @@ 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.
|
|
|
|
|
|
- [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).
|
|
|
- DONE [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).
|
|
|
|
|
|
- #12088: SCC for kind inference: we know what to do, it's just a question of doing it. See also #7503, #14451. This will be much easier once Proposal 54 is done.
|
|
|
|
... | ... | |