... | @@ -35,8 +35,7 @@ f :: T {Type} @Type Int |
... | @@ -35,8 +35,7 @@ f :: T {Type} @Type Int |
|
```
|
|
```
|
|
|
|
|
|
- [Proposal 36: top-level kind signatures](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0036-kind-signatures.rst) (depends on Proposal 81).
|
|
- [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. The ticket is #16794.
|
|
* See [this tweak](https://github.com/ghc-proposals/ghc-proposals/pull/227) for associated types. The ticket is #16794.
|
|
|
|
|
|
|
|
* Also #16734: we agreed that foralls from the signature _do not scope_ over the binding.
|
|
* Also #16734: we agreed that foralls from the signature _do not scope_ over the binding.
|
|
|
|
|
... | | ... | |