... | ... | @@ -14,7 +14,9 @@ We should be clear about the dependencies between items on this list. |
|
|
- 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).
|
|
|
|
|
|
- Stuff around #14198: inconsistent treatment of kind variables, and #16635 (making `checkExpectedKind` dumber)
|
|
|
- #16110 refactoring of `HsImplicitBndrs`.
|
|
|
|
|
|
- #16110 and #16762 refactoring of `HsImplicitBndrs`.
|
|
|
- #16763: get tyvars in the right order in partial type sigs
|
|
|
|
|
|
- [Proposal 99: explicit specificity](https://github.com/ghc-proposals/ghc-proposals/pull/99). Lets us write `T :: forall {k} (a :: k).blah`.
|
|
|
|
... | ... | |