[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