... | ... | @@ -10,7 +10,7 @@ This guide summarises the changes you may need to make to your code to migrate f |
|
|
### Implicit kind variable changes
|
|
|
|
|
|
|
|
|
GHC 8.10 implements [ proposal 24](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0024-no-kind-vars.rst), which means that GHC is much less likely to implicitly quantify kind variables than it used to be. Here are some examples of code which will no longer work with GHC 8.10:
|
|
|
GHC 8.10 implements [proposal 24](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0024-no-kind-vars.rst), which means that GHC is much less likely to implicitly quantify kind variables than it used to be. Here are some examples of code which will no longer work with GHC 8.10:
|
|
|
|
|
|
- Kind variables are no longer implicitly quantified when an explicit `forall` is used at the beginning of a function's type signature. For instance, the following will no longer work:
|
|
|
|
... | ... | |