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

My `happy` chokes on the unicode sequence you added: (if isUnicode $1 then "★" else "*") Casn this be done with unicode escapes somehow? Cheers, Gabor PS: Happy Version 1.19.9 Copyright (c) 1993-1996 Andy Gill, Simon Marlow (c) 1997-2005 Simon Marlow On 6/14/18, git@git.haskell.org wrote:

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

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

...

---------------------------------------------------------------

commit d650729f9a0f3b6aa5e6ef2d5fba337f6f70fa60 Author: Vladislav Zavialov 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 _______________________________________________ ghc-commits mailing list ghc-commits@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-commits