... | ... | @@ -10,7 +10,7 @@ This guide summarises the changes you may need to make to your code to migrate f |
|
|
### `StarIsType`
|
|
|
|
|
|
|
|
|
As part of the [ this GHC proposal](https://github.com/ghc-proposals/ghc-proposals/blob/05721788de9ab6538def68c3c2c9dec50c9f24a8/proposals/0020-no-type-in-type.rst), a new `StarIsType` extension was introduced, which instructs GHC to treat `*` as a synonym for `Type` (from `Data.Kind`) instead of a binary type operator. To provide a migration path for code that uses `*` as a type operator, the `TypeOperators` extension implies `NoStarIsType` in GHC 8.6.
|
|
|
As part of [ this GHC proposal](https://github.com/ghc-proposals/ghc-proposals/blob/05721788de9ab6538def68c3c2c9dec50c9f24a8/proposals/0020-no-type-in-type.rst), a new `StarIsType` extension was introduced, which instructs GHC to treat `*` as a synonym for `Type` (from `Data.Kind`) instead of a binary type operator. To provide a migration path for code that uses `*` as a type operator, the `TypeOperators` extension implies `NoStarIsType` in GHC 8.6.
|
|
|
|
|
|
|
|
|
As a result, any code that simultaneously enables `TypeOperators` and uses `*` as a `Type` synonym will not compile in 8.6. There are two ways to adapt to this change:
|
... | ... | |