... | ... | @@ -7,12 +7,6 @@ This guide summarises the changes you may need to make to your code to migrate f |
|
|
|
|
|
## Compiler changes
|
|
|
|
|
|
### Impredicative types removed
|
|
|
|
|
|
|
|
|
Note that the `-XImpredicativeTypes` extension, which has been
|
|
|
[known](impredicative-polymorphism) to be broken for many years. It has now at long last been removed. TODO**RGS**: is this really true?
|
|
|
|
|
|
### `DefaultSignatures` is pickier
|
|
|
|
|
|
|
... | ... | @@ -224,4 +218,4 @@ It's possible that you might experience some typechecker errors due to this chan |
|
|
|
|
|
## GHC API changes
|
|
|
|
|
|
- TODO The `StaticFlags` module has been removed |
|
|
- The `StaticFlags` module has been removed, as all static flags have been converted to dynamic ones in GHC 8.2. |