Changes between Version 13 and Version 14 of Migration/8.6


Ignore:
Timestamp:
Aug 30, 2018 1:45:13 PM (16 months ago)
Author:
adamgundry
Comment:

mention another GHC proposal related to StarIsType changes

Legend:

Unmodified
Added
Removed
Modified
  • Migration/8.6

    v13 v14  
    1010=== `StarIsType` ===
    1111
    12 As part of [https://github.com/ghc-proposals/ghc-proposals/blob/05721788de9ab6538def68c3c2c9dec50c9f24a8/proposals/0020-no-type-in-type.rst this GHC proposal], 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.
     12As part of [https://github.com/ghc-proposals/ghc-proposals/blob/05721788de9ab6538def68c3c2c9dec50c9f24a8/proposals/0020-no-type-in-type.rst this GHC proposal] (as amended by [https://github.com/ghc-proposals/ghc-proposals/pull/146 this GHC proposal]), 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.
    1313
    1414`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: