[commit: ghc] master: Embrace -XTypeInType, add -XStarIsType (d650729)

git at git.haskell.org git at git.haskell.org
Thu Jun 14 19:07:32 UTC 2018


Repository : ssh://git@git.haskell.org/ghc

On branch  : master
Link       : http://ghc.haskell.org/trac/ghc/changeset/d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60/ghc

>---------------------------------------------------------------

commit d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60
Author: Vladislav Zavialov <vlad.z.4096 at gmail.com>
Date:   Thu Jun 14 15:02:36 2018 -0400

    Embrace -XTypeInType, add -XStarIsType
    
    Summary:
    Implement the "Embrace Type :: Type" GHC proposal,
    .../ghc-proposals/blob/master/proposals/0020-no-type-in-type.rst
    
    GHC 8.0 included a major change to GHC's type system: the Type :: Type
    axiom. Though casual users were protected from this by hiding its
    features behind the -XTypeInType extension, all programs written in GHC
    8+ have the axiom behind the scenes. In order to preserve backward
    compatibility, various legacy features were left unchanged. For example,
    with -XDataKinds but not -XTypeInType, GADTs could not be used in types.
    Now these restrictions are lifted and -XTypeInType becomes a redundant
    flag that will be eventually deprecated.
    
    * Incorporate the features currently in -XTypeInType into the
      -XPolyKinds and -XDataKinds extensions.
    * Introduce a new extension -XStarIsType to control how to parse * in
      code and whether to print it in error messages.
    
    Test Plan: Validate
    
    Reviewers: goldfire, hvr, bgamari, alanz, simonpj
    
    Reviewed By: goldfire, simonpj
    
    Subscribers: rwbarton, thomie, mpickering, carter
    
    GHC Trac Issues: #15195
    
    Differential Revision: https://phabricator.haskell.org/D4748


>---------------------------------------------------------------

d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60
 .gitignore                                         |   1 +
 .gitmodules                                        |   4 +-
 compiler/basicTypes/DataCon.hs                     |  22 +-
 compiler/basicTypes/Name.hs                        |  21 +-
 compiler/basicTypes/RdrName.hs                     |  96 +++-
 compiler/basicTypes/SrcLoc.hs                      |   5 +-
 compiler/deSugar/DsMeta.hs                         |   7 +-
 compiler/hsSyn/Convert.hs                          |  37 +-
 compiler/hsSyn/HsDecls.hs                          |   9 +-
 compiler/hsSyn/HsExtension.hs                      |  16 +-
 compiler/hsSyn/HsInstances.hs                      |   5 -
 compiler/hsSyn/HsTypes.hs                          | 117 +----
 compiler/iface/IfaceType.hs                        |   8 +-
 compiler/main/DynFlags.hs                          |  31 ++
 compiler/main/DynFlags.hs-boot                     |   1 +
 compiler/main/HscTypes.hs                          |   3 +-
 compiler/parser/Lexer.x                            | 104 +++--
 compiler/parser/Parser.y                           |  88 ++--
 compiler/parser/RdrHsSyn.hs                        | 190 ++++----
 compiler/prelude/PrelNames.hs                      |   7 +-
 compiler/prelude/PrelNames.hs-boot                 |   3 +-
 compiler/prelude/TysWiredIn.hs                     |  24 +-
 compiler/rename/RnEnv.hs                           |  43 +-
 compiler/rename/RnSource.hs                        |   4 +-
 compiler/rename/RnTypes.hs                         | 186 ++------
 compiler/typecheck/TcDeriv.hs                      |  14 +-
 compiler/typecheck/TcHsType.hs                     |  82 ++--
 compiler/typecheck/TcInstDcls.hs                   |   4 +-
 compiler/typecheck/TcMType.hs                      |   2 +-
 compiler/typecheck/TcPatSyn.hs                     |   2 +-
 compiler/typecheck/TcRnTypes.hs                    |   6 -
 compiler/typecheck/TcSplice.hs                     |   4 +-
 compiler/typecheck/TcTyClsDecls.hs                 |  43 +-
 compiler/types/Kind.hs                             |  33 +-
 compiler/types/TyCoRep.hs                          |   1 +
 compiler/types/TyCon.hs                            |   8 +-
 compiler/types/Type.hs                             |  11 +-
 compiler/types/Unify.hs                            |   2 +-
 compiler/utils/Outputable.hs                       |  11 +-
 docs/users_guide/8.6.1-notes.rst                   |  30 +-
 docs/users_guide/glasgow_exts.rst                  | 482 +++++++++------------
 libraries/base/Data/Data.hs                        |   4 +-
 libraries/base/Data/Kind.hs                        |   2 +-
 libraries/base/Data/Proxy.hs                       |   2 +-
 libraries/base/Data/Type/Equality.hs               |   4 +-
 libraries/base/Data/Typeable.hs                    |  26 +-
 libraries/base/Data/Typeable/Internal.hs           |   1 -
 libraries/base/GHC/Base.hs                         |   3 +-
 libraries/base/GHC/Err.hs                          |   2 +-
 libraries/base/GHC/Generics.hs                     |  50 +--
 libraries/base/Type/Reflection/Unsafe.hs           |   2 +-
 libraries/base/tests/CatEntail.hs                  |   4 +-
 .../ghc-boot-th/GHC/LanguageExtensions/Type.hs     |   1 +
 libraries/ghc-prim/GHC/Magic.hs                    |   3 +-
 libraries/ghc-prim/GHC/Types.hs                    |   8 +-
 testsuite/tests/codeGen/should_fail/T13233.hs      |   2 +-
 testsuite/tests/dependent/ghci/T11549.script       |   2 +-
 testsuite/tests/dependent/ghci/T14238.stdout       |   2 +-
 testsuite/tests/dependent/should_compile/Dep1.hs   |   2 +-
 testsuite/tests/dependent/should_compile/Dep2.hs   |   2 +-
 testsuite/tests/dependent/should_compile/Dep3.hs   |   2 +-
 .../tests/dependent/should_compile/DkNameRes.hs    |   9 +
 .../dependent/should_compile/InferDependency.hs    |   6 -
 .../dependent/should_compile/KindEqualities.hs     |   2 +-
 .../dependent/should_compile/KindEqualities2.hs    |   3 +-
 .../tests/dependent/should_compile/KindLevels.hs   |   2 +-
 .../tests/dependent/should_compile/RAE_T32b.hs     |  24 +-
 testsuite/tests/dependent/should_compile/Rae31.hs  |  23 +-
 .../tests/dependent/should_compile/RaeBlogPost.hs  |  27 +-
 .../tests/dependent/should_compile/RaeJobTalk.hs   |   2 +-
 testsuite/tests/dependent/should_compile/T11405.hs |   2 +-
 testsuite/tests/dependent/should_compile/T11635.hs |   2 +-
 testsuite/tests/dependent/should_compile/T11711.hs |   1 -
 testsuite/tests/dependent/should_compile/T11719.hs |   6 +-
 testsuite/tests/dependent/should_compile/T11966.hs |   1 -
 testsuite/tests/dependent/should_compile/T12176.hs |   2 +-
 testsuite/tests/dependent/should_compile/T12442.hs |   4 +-
 testsuite/tests/dependent/should_compile/T12742.hs |   2 +-
 testsuite/tests/dependent/should_compile/T13910.hs |   9 +-
 testsuite/tests/dependent/should_compile/T13938.hs |   3 +-
 .../tests/dependent/should_compile/T13938a.hs      |   3 +-
 testsuite/tests/dependent/should_compile/T14038.hs |   3 +-
 .../tests/dependent/should_compile/T14066a.hs      |   2 +-
 testsuite/tests/dependent/should_compile/T14556.hs |   3 +-
 testsuite/tests/dependent/should_compile/T14720.hs |   3 +-
 testsuite/tests/dependent/should_compile/T14749.hs |   2 +-
 testsuite/tests/dependent/should_compile/T14991.hs |   3 +-
 testsuite/tests/dependent/should_compile/T9632.hs  |   2 +-
 .../tests/dependent/should_compile/TypeLevelVec.hs |   2 +-
 testsuite/tests/dependent/should_compile/all.T     |   1 +
 .../dependent/should_compile/dynamic-paper.hs      |  27 +-
 .../tests/dependent/should_compile/mkGADTVars.hs   |   2 +-
 .../tests/dependent/should_fail/BadTelescope.hs    |   2 +-
 .../tests/dependent/should_fail/BadTelescope2.hs   |   2 +-
 .../tests/dependent/should_fail/BadTelescope3.hs   |   2 +-
 .../tests/dependent/should_fail/BadTelescope4.hs   |   2 +-
 testsuite/tests/dependent/should_fail/DepFail1.hs  |   2 +-
 .../tests/dependent/should_fail/InferDependency.hs |   2 +-
 .../tests/dependent/should_fail/KindLevelsB.hs     |   9 -
 .../tests/dependent/should_fail/KindLevelsB.stderr |   5 -
 .../tests/dependent/should_fail/PromotedClass.hs   |   2 +-
 testsuite/tests/dependent/should_fail/RAE_T32a.hs  |  28 +-
 .../tests/dependent/should_fail/RAE_T32a.stderr    |   6 +-
 .../tests/dependent/should_fail/RenamingStar.hs    |   2 +-
 .../dependent/should_fail/RenamingStar.stderr      |  10 +-
 testsuite/tests/dependent/should_fail/SelfDep.hs   |   2 +
 .../tests/dependent/should_fail/SelfDep.stderr     |   8 +-
 testsuite/tests/dependent/should_fail/T11407.hs    |   2 +-
 testsuite/tests/dependent/should_fail/T11473.hs    |   2 +-
 testsuite/tests/dependent/should_fail/T12081.hs    |   2 +-
 testsuite/tests/dependent/should_fail/T12174.hs    |   2 +-
 testsuite/tests/dependent/should_fail/T13135.hs    |   4 +-
 testsuite/tests/dependent/should_fail/T13601.hs    |   2 +-
 testsuite/tests/dependent/should_fail/T13780a.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T13780b.hs   |   3 +-
 testsuite/tests/dependent/should_fail/T13780c.hs   |   2 +-
 .../tests/dependent/should_fail/T13780c.stderr     |   6 +-
 testsuite/tests/dependent/should_fail/T14066.hs    |   4 +-
 testsuite/tests/dependent/should_fail/T14066c.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T14066d.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T14066e.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T14066f.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T14066g.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T14066h.hs   |   2 +-
 testsuite/tests/dependent/should_fail/T15245.hs    |  10 +
 .../tests/dependent/should_fail/T15245.stderr      |   7 +
 .../tests/dependent/should_fail/TypeSkolEscape.hs  |   2 +-
 testsuite/tests/dependent/should_fail/all.T        |   2 +-
 testsuite/tests/dependent/should_run/T11964a.hs    |   2 +-
 testsuite/tests/deriving/should_compile/T11416.hs  |   3 +-
 testsuite/tests/deriving/should_compile/T11732a.hs |   2 +-
 testsuite/tests/deriving/should_compile/T11732b.hs |   2 +-
 testsuite/tests/deriving/should_compile/T11732c.hs |   2 +-
 testsuite/tests/deriving/should_compile/T14331.hs  |   2 +-
 testsuite/tests/deriving/should_compile/T14579.hs  |   3 +-
 testsuite/tests/deriving/should_compile/T14932.hs  |   4 +-
 testsuite/tests/deriving/should_fail/T12512.hs     |   2 +-
 testsuite/tests/deriving/should_fail/T14728a.hs    |   2 +-
 testsuite/tests/deriving/should_fail/T14728b.hs    |   2 +-
 testsuite/tests/deriving/should_fail/T15073.hs     |   2 +-
 testsuite/tests/determinism/determ004/determ004.hs |   2 +-
 testsuite/tests/determinism/determ014/A.hs         |   6 +-
 testsuite/tests/driver/T4437.hs                    |   1 +
 testsuite/tests/gadt/T7293.hs                      |   6 +-
 testsuite/tests/gadt/T7293.stderr                  |   4 +-
 testsuite/tests/gadt/T7294.hs                      |   6 +-
 testsuite/tests/gadt/T7294.stderr                  |   4 +-
 testsuite/tests/generics/GEq/GEq1.hs               |   5 +-
 testsuite/tests/ghci/scripts/T10321.hs             |   3 +-
 testsuite/tests/ghci/scripts/T11252.script         |   2 +-
 testsuite/tests/ghci/scripts/T11376.script         |   2 +-
 testsuite/tests/ghci/scripts/T12550.script         |   2 +-
 testsuite/tests/ghci/scripts/T13407.script         |   4 +-
 testsuite/tests/ghci/scripts/T13963.script         |   2 +-
 testsuite/tests/ghci/scripts/T13988.hs             |   2 +-
 testsuite/tests/ghci/scripts/T7873.script          |   2 +-
 testsuite/tests/ghci/scripts/T7939.hs              |   4 +-
 testsuite/tests/ghci/scripts/T8357.hs              |   5 +-
 testsuite/tests/indexed-types/should_compile/HO.hs |   5 +-
 .../tests/indexed-types/should_compile/Numerals.hs |   7 +-
 .../tests/indexed-types/should_compile/T12369.hs   |   4 +-
 .../tests/indexed-types/should_compile/T12522b.hs  |   8 +-
 .../tests/indexed-types/should_compile/T12938.hs   |   2 +-
 .../tests/indexed-types/should_compile/T13244.hs   |   2 +-
 .../tests/indexed-types/should_compile/T13398b.hs  |   2 +-
 .../tests/indexed-types/should_compile/T14162.hs   |   3 +-
 .../tests/indexed-types/should_compile/T14554.hs   |   5 +-
 .../tests/indexed-types/should_compile/T15122.hs   |   2 +-
 .../tests/indexed-types/should_compile/T2219.hs    |   4 +-
 .../tests/indexed-types/should_compile/T7585.hs    |   6 +-
 .../tests/indexed-types/should_compile/T9747.hs    |   9 +-
 .../tests/indexed-types/should_fail/T12522a.hs     |   6 +-
 .../tests/indexed-types/should_fail/T12522a.stderr |   6 +-
 .../tests/indexed-types/should_fail/T13674.hs      |   4 +-
 .../tests/indexed-types/should_fail/T13784.hs      |   5 +-
 .../tests/indexed-types/should_fail/T13784.stderr  |  14 +-
 .../tests/indexed-types/should_fail/T13877.hs      |   6 +-
 .../tests/indexed-types/should_fail/T13972.hs      |   2 +-
 .../tests/indexed-types/should_fail/T14175.hs      |   2 +-
 .../tests/indexed-types/should_fail/T14246.hs      |   8 +-
 .../tests/indexed-types/should_fail/T14246.stderr  |   2 +-
 .../tests/indexed-types/should_fail/T14369.hs      |   2 +-
 testsuite/tests/indexed-types/should_fail/T2544.hs |   4 +-
 .../tests/indexed-types/should_fail/T2544.stderr   |   8 +-
 .../tests/indexed-types/should_fail/T3330c.hs      |   6 +-
 .../tests/indexed-types/should_fail/T3330c.stderr  |  10 +-
 testsuite/tests/indexed-types/should_fail/T4174.hs |  10 +-
 .../tests/indexed-types/should_fail/T4174.stderr   |   6 +-
 testsuite/tests/indexed-types/should_fail/T7786.hs |   4 +-
 .../tests/indexed-types/should_fail/T7786.stderr   |  25 +-
 testsuite/tests/indexed-types/should_fail/T7967.hs |  10 +-
 .../tests/indexed-types/should_fail/T7967.stderr   |  12 +-
 testsuite/tests/indexed-types/should_fail/T9036.hs |   7 +-
 .../tests/indexed-types/should_fail/T9036.stderr   |   2 +-
 testsuite/tests/indexed-types/should_fail/T9662.hs |   4 +-
 .../tests/indexed-types/should_fail/T9662.stderr   |   6 +-
 .../tests/indexed-types/should_run/T11465a.hs      |   1 -
 .../should_run/overloadedrecflds_generics.hs       |   5 +-
 .../should_run/overloadedrecfldsrun07.hs           |   6 +-
 .../parser/should_compile/DumpParsedAst.stderr     | 109 ++---
 .../tests/parser/should_compile/DumpRenamedAst.hs  |   2 +-
 .../parser/should_compile/DumpRenamedAst.stderr    |  62 ++-
 testsuite/tests/parser/should_compile/T10379.hs    |   2 +-
 testsuite/tests/parser/should_fail/T15209.stderr   |   2 +-
 testsuite/tests/parser/should_fail/all.T           |   5 +
 testsuite/tests/parser/should_fail/readFail036.hs  |   4 +-
 .../tests/parser/should_fail/readFail036.stderr    |   4 +-
 testsuite/tests/parser/should_fail/typeops_A.hs    |   1 +
 .../tests/parser/should_fail/typeops_A.stderr      |   2 +
 testsuite/tests/parser/should_fail/typeops_B.hs    |   1 +
 .../tests/parser/should_fail/typeops_B.stderr      |   2 +
 testsuite/tests/parser/should_fail/typeops_C.hs    |   1 +
 .../tests/parser/should_fail/typeops_C.stderr      |   2 +
 testsuite/tests/parser/should_fail/typeops_D.hs    |   1 +
 .../tests/parser/should_fail/typeops_D.stderr      |   2 +
 .../tests/partial-sigs/should_compile/T15039a.hs   |  12 +-
 .../partial-sigs/should_compile/T15039a.stderr     |  11 +-
 .../tests/partial-sigs/should_compile/T15039b.hs   |  12 +-
 .../partial-sigs/should_compile/T15039b.stderr     |  44 +-
 .../tests/partial-sigs/should_compile/T15039c.hs   |  12 +-
 .../partial-sigs/should_compile/T15039c.stderr     |  11 +-
 .../tests/partial-sigs/should_compile/T15039d.hs   |  12 +-
 .../partial-sigs/should_compile/T15039d.stderr     |  44 +-
 .../tests/partial-sigs/should_fail/T14040a.hs      |   2 +-
 testsuite/tests/partial-sigs/should_fail/T14584.hs |   2 +-
 .../tests/partial-sigs/should_fail/T14584.stderr   |   2 +-
 testsuite/tests/patsyn/should_compile/T12698.hs    |   2 +-
 testsuite/tests/patsyn/should_compile/T12968.hs    |   2 +-
 testsuite/tests/patsyn/should_compile/T13768.hs    |   8 +-
 testsuite/tests/patsyn/should_compile/T14058.hs    |   2 +-
 testsuite/tests/patsyn/should_compile/T14058a.hs   |   3 +-
 testsuite/tests/patsyn/should_fail/T14507.hs       |   4 +-
 testsuite/tests/patsyn/should_fail/T14507.stderr   |   2 +-
 testsuite/tests/patsyn/should_fail/T14552.hs       |   2 +-
 testsuite/tests/perf/compiler/T12227.hs            |  17 +-
 testsuite/tests/perf/compiler/T12545a.hs           |   3 +-
 testsuite/tests/perf/compiler/T13035.hs            |  13 +-
 testsuite/tests/perf/compiler/T13035.stderr        |   2 +-
 testsuite/tests/perf/compiler/T9872d.hs            | 186 ++++++--
 testsuite/tests/pmcheck/complete_sigs/T14253.hs    |   2 +-
 testsuite/tests/pmcheck/should_compile/T14086.hs   |   2 +-
 testsuite/tests/pmcheck/should_compile/T3927b.hs   |   8 +-
 testsuite/tests/polykinds/MonoidsTF.hs             |   4 +-
 testsuite/tests/polykinds/PolyKinds10.hs           |  27 +-
 testsuite/tests/polykinds/SigTvKinds3.hs           |   2 +-
 testsuite/tests/polykinds/T10134a.hs               |   3 +-
 testsuite/tests/polykinds/T10934.hs                |   6 +-
 testsuite/tests/polykinds/T11142.hs                |   2 +-
 testsuite/tests/polykinds/T11399.hs                |   2 +-
 testsuite/tests/polykinds/T11480b.hs               |  24 +-
 testsuite/tests/polykinds/T11520.hs                |   2 +-
 testsuite/tests/polykinds/T11523.hs                |   1 -
 testsuite/tests/polykinds/T11554.hs                |   2 +-
 testsuite/tests/polykinds/T11616.hs                |   2 +-
 testsuite/tests/polykinds/T11640.hs                |   2 +-
 testsuite/tests/polykinds/T11648.hs                |   4 +-
 testsuite/tests/polykinds/T11648b.hs               |   2 +-
 testsuite/tests/polykinds/T11821a.hs               |   2 +-
 testsuite/tests/polykinds/T12055.hs                |   4 +-
 testsuite/tests/polykinds/T12055a.hs               |   4 +-
 testsuite/tests/polykinds/T12593.hs                |   2 +-
 testsuite/tests/polykinds/T12668.hs                |   2 +-
 testsuite/tests/polykinds/T12718.hs                |   2 +-
 testsuite/tests/polykinds/T13391.hs                |   7 -
 testsuite/tests/polykinds/T13391.stderr            |   7 -
 testsuite/tests/polykinds/T13625.hs                |   2 +-
 testsuite/tests/polykinds/T13659.hs                |   4 +-
 testsuite/tests/polykinds/T13659.stderr            |   2 +-
 testsuite/tests/polykinds/T13738.hs                |   2 +-
 testsuite/tests/polykinds/T13985.stderr            |  10 +-
 testsuite/tests/polykinds/T14174.hs                |   2 +-
 testsuite/tests/polykinds/T14174a.hs               |   7 +-
 testsuite/tests/polykinds/T14209.hs                |   2 +-
 testsuite/tests/polykinds/T14270.hs                |   2 +-
 testsuite/tests/polykinds/T14450.hs                |   4 +-
 testsuite/tests/polykinds/T14450.stderr            |   2 +-
 testsuite/tests/polykinds/T14515.hs                |   3 +-
 testsuite/tests/polykinds/T14520.hs                |   4 +-
 testsuite/tests/polykinds/T14555.hs                |   4 +-
 testsuite/tests/polykinds/T14561.hs                |   2 +-
 testsuite/tests/polykinds/T14563.hs                |   2 +-
 testsuite/tests/polykinds/T14580.hs                |   2 +-
 testsuite/tests/polykinds/T14710.stderr            |   8 -
 testsuite/tests/polykinds/T14846.hs                |   2 +-
 testsuite/tests/polykinds/T14873.hs                |   3 +-
 testsuite/tests/polykinds/T15170.hs                |   2 +-
 testsuite/tests/polykinds/T5716.hs                 |   3 +-
 testsuite/tests/polykinds/T5716.stderr             |  10 +-
 testsuite/tests/polykinds/T6021.stderr             |   4 -
 testsuite/tests/polykinds/T6035.hs                 |   4 +-
 testsuite/tests/polykinds/T6039.stderr             |  12 +-
 testsuite/tests/polykinds/T6093.hs                 |   7 +-
 testsuite/tests/polykinds/T7404.stderr             |   4 -
 testsuite/tests/polykinds/T7594.hs                 |   6 +-
 testsuite/tests/polykinds/T7594.stderr             |   9 +-
 testsuite/tests/polykinds/T8566.hs                 |   8 +-
 testsuite/tests/polykinds/T8566.stderr             |   8 +-
 testsuite/tests/polykinds/T8566a.hs                |   8 +-
 testsuite/tests/polykinds/T8985.hs                 |   8 +-
 testsuite/tests/polykinds/T9222.hs                 |   3 +-
 testsuite/tests/polykinds/T9222.stderr             |   6 +-
 testsuite/tests/polykinds/all.T                    |   5 +-
 testsuite/tests/printer/Ppr040.hs                  |   2 +-
 testsuite/tests/printer/Ppr045.hs                  |   1 +
 testsuite/tests/rename/should_fail/T11592.hs       |   2 +-
 testsuite/tests/rename/should_fail/T13947.stderr   |   2 +-
 .../tests/simplCore/should_compile/T13025a.hs      |   6 +-
 testsuite/tests/simplCore/should_compile/T13658.hs |   2 +-
 .../tests/simplCore/should_compile/T14270a.hs      |   3 +-
 .../tests/simplCore/should_compile/T15186A.hs      |   2 +-
 testsuite/tests/simplCore/should_compile/T4903a.hs |  10 +-
 testsuite/tests/simplCore/should_run/T13750a.hs    |  13 +-
 testsuite/tests/th/T11463.hs                       |   2 +-
 testsuite/tests/th/T11484.hs                       |   2 +-
 testsuite/tests/th/T13642.hs                       |   2 +-
 testsuite/tests/th/T13781.hs                       |   2 +-
 testsuite/tests/th/T14060.hs                       |   2 +-
 testsuite/tests/th/T14869.hs                       |   2 +-
 testsuite/tests/th/T8031.hs                        |   4 +-
 testsuite/tests/th/TH_RichKinds2.hs                |   5 +-
 testsuite/tests/th/TH_RichKinds2.stderr            |   2 +-
 .../tests/typecheck/should_compile/SplitWD.hs      |   2 +-
 testsuite/tests/typecheck/should_compile/T10432.hs |   5 +-
 testsuite/tests/typecheck/should_compile/T11237.hs |   4 +-
 testsuite/tests/typecheck/should_compile/T11348.hs |   1 -
 testsuite/tests/typecheck/should_compile/T11524.hs |   1 -
 testsuite/tests/typecheck/should_compile/T11723.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T11811.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T12133.hs |   4 +-
 testsuite/tests/typecheck/should_compile/T12381.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T12734.hs |  38 +-
 .../tests/typecheck/should_compile/T12734a.hs      |  31 +-
 .../tests/typecheck/should_compile/T12734a.stderr  |   9 +-
 .../tests/typecheck/should_compile/T12785a.hs      |   2 +-
 testsuite/tests/typecheck/should_compile/T12911.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T12919.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T12987.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13083.hs |   5 +-
 testsuite/tests/typecheck/should_compile/T13333.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13337.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13343.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13458.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13603.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13643.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13822.hs |   3 +-
 testsuite/tests/typecheck/should_compile/T13871.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T13879.hs |   2 +-
 .../tests/typecheck/should_compile/T13915a.hs      |   2 +-
 .../tests/typecheck/should_compile/T13915b.hs      |   2 +-
 testsuite/tests/typecheck/should_compile/T13943.hs |   2 +-
 testsuite/tests/typecheck/should_compile/T14441.hs |   3 +-
 .../tests/typecheck/should_compile/T14934a.hs      |   3 +-
 testsuite/tests/typecheck/should_compile/all.T     |   4 +-
 testsuite/tests/typecheck/should_compile/tc191.hs  |   2 +-
 testsuite/tests/typecheck/should_compile/tc205.hs  |   4 +-
 testsuite/tests/typecheck/should_compile/tc269.hs  |   3 +-
 .../should_compile/valid_hole_fits_interactions.hs |   2 +-
 .../tests/typecheck/should_fail/ClassOperator.hs   |   4 +-
 .../typecheck/should_fail/ClassOperator.stderr     |  16 +-
 .../typecheck/should_fail/CustomTypeErrors04.hs    |   2 +-
 .../typecheck/should_fail/CustomTypeErrors05.hs    |   2 +-
 .../tests/typecheck/should_fail/LevPolyBounded.hs  |   2 +-
 testsuite/tests/typecheck/should_fail/T11313.hs    |   2 -
 .../tests/typecheck/should_fail/T11313.stderr      |   8 +-
 testsuite/tests/typecheck/should_fail/T11724.hs    |   2 +-
 testsuite/tests/typecheck/should_fail/T11963.hs    |  29 --
 .../tests/typecheck/should_fail/T11963.stderr      |  20 -
 testsuite/tests/typecheck/should_fail/T12648.hs    |   6 +-
 testsuite/tests/typecheck/should_fail/T12709.hs    |   3 +-
 .../tests/typecheck/should_fail/T12709.stderr      |   8 +-
 testsuite/tests/typecheck/should_fail/T12785b.hs   |   8 +-
 testsuite/tests/typecheck/should_fail/T12973.hs    |   2 +-
 testsuite/tests/typecheck/should_fail/T13105.hs    |   2 +-
 testsuite/tests/typecheck/should_fail/T13446.hs    |   4 +-
 testsuite/tests/typecheck/should_fail/T13909.hs    |   2 +-
 testsuite/tests/typecheck/should_fail/T13929.hs    |   2 +-
 .../tests/typecheck/should_fail/T13983.stderr      |   2 +-
 testsuite/tests/typecheck/should_fail/T14350.hs    |   2 +-
 testsuite/tests/typecheck/should_fail/T14904a.hs   |   2 +-
 testsuite/tests/typecheck/should_fail/T14904b.hs   |   2 +-
 testsuite/tests/typecheck/should_fail/T7645.hs     |   4 +-
 testsuite/tests/typecheck/should_fail/T7645.stderr |   5 +-
 testsuite/tests/typecheck/should_fail/all.T        |   1 -
 .../tests/typecheck/should_run/EtaExpandLevPoly.hs |   4 +-
 .../typecheck/should_run/KindInvariant.script      |   6 +-
 testsuite/tests/typecheck/should_run/T11120.hs     |   2 +-
 testsuite/tests/typecheck/should_run/T12809.hs     |   2 +-
 testsuite/tests/typecheck/should_run/T13435.hs     |   3 +-
 testsuite/tests/typecheck/should_run/TypeOf.hs     |   2 +-
 testsuite/tests/typecheck/should_run/TypeRep.hs    |   4 +-
 testsuite/tests/unboxedsums/sum_rr.hs              |   2 +-
 391 files changed, 1865 insertions(+), 1997 deletions(-)

Diff suppressed because of size. To see it, use:

    git diff-tree --root --patch-with-stat --no-color --find-copies-harder --ignore-space-at-eol --cc d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60


More information about the ghc-commits mailing list