Skip to content

Changes

Page history
mention another GHC proposal related to StarIsType changes authored by Adam Gundry's avatar Adam Gundry
Hide whitespace changes
Inline Side-by-side
migration/8.6.md
View page @ a2a9881e
......@@ -10,7 +10,7 @@ This guide summarises the changes you may need to make to your code to migrate f
### `StarIsType`
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.
As part of [ this GHC proposal](https://github.com/ghc-proposals/ghc-proposals/blob/05721788de9ab6538def68c3c2c9dec50c9f24a8/proposals/0020-no-type-in-type.rst) (as amended by [ this GHC proposal](https://github.com/ghc-proposals/ghc-proposals/pull/146)), 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.
`StarIsType` is enabled by default, and one consequence of this is that GHC will interpret any use of `*` as `Type`, even if it would have been previously interpreted as a binary type operator. A notable example of such a binary type operator is `GHC.TypeLits.*`, so code like:
......