[commit: ghc] wip/improve-pext-pdep: Visible kind application (17bd163)
git at git.haskell.org
git at git.haskell.org
Sun Jan 6 09:26:30 UTC 2019
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/improve-pext-pdep
Link : http://ghc.haskell.org/trac/ghc/changeset/17bd163566153babbf51adaff8397f948ae363ca/ghc
>---------------------------------------------------------------
commit 17bd163566153babbf51adaff8397f948ae363ca
Author: mynguyen <mnguyen1 at brynmawr.edu>
Date: Tue Dec 18 11:52:26 2018 -0500
Visible kind application
Summary:
This patch implements visible kind application (GHC Proposal 15/#12045), as well as #15360 and #15362.
It also refactors unnamed wildcard handling, and requires that type equations in type families in Template Haskell be
written with full type on lhs. PartialTypeSignatures are on and warnings are off automatically with visible kind
application, just like in term-level.
There are a few remaining issues with this patch, as documented in
ticket #16082.
Includes a submodule update for Haddock.
Test Plan: Tests T12045a/b/c/TH1/TH2, T15362, T15592a
Reviewers: simonpj, goldfire, bgamari, alanz, RyanGlScott, Iceland_jack
Subscribers: ningning, Iceland_jack, RyanGlScott, int-index, rwbarton, mpickering, carter
GHC Trac Issues: `#12045`, `#15362`, `#15592`, `#15788`, `#15793`, `#15795`, `#15797`, `#15799`, `#15801`, `#15807`, `#15816`
Differential Revision: https://phabricator.haskell.org/D5229
>---------------------------------------------------------------
17bd163566153babbf51adaff8397f948ae363ca
compiler/deSugar/DsMeta.hs | 108 +++--
compiler/hieFile/HieAst.hs | 18 +-
compiler/hsSyn/Convert.hs | 243 ++++++----
compiler/hsSyn/HsBinds.hs | 12 +-
compiler/hsSyn/HsDecls.hs | 2 +-
compiler/hsSyn/HsExtension.hs | 2 +
compiler/hsSyn/HsInstances.hs | 4 +
compiler/hsSyn/HsTypes.hs | 134 ++++--
compiler/hsSyn/HsUtils.hs | 2 +-
compiler/parser/Parser.y | 30 +-
compiler/parser/RdrHsSyn.hs | 112 +++--
compiler/prelude/THNames.hs | 38 +-
compiler/rename/RnSource.hs | 31 +-
compiler/rename/RnTypes.hs | 113 ++---
compiler/typecheck/TcDeriv.hs | 2 +-
compiler/typecheck/TcExpr.hs | 26 +-
compiler/typecheck/TcHsType.hs | 437 +++++++++++-------
compiler/typecheck/TcInstDcls.hs | 2 +-
compiler/typecheck/TcSigs.hs | 46 +-
compiler/typecheck/TcSimplify.hs | 17 +-
compiler/typecheck/TcSplice.hs | 15 +-
compiler/typecheck/TcTyClsDecls.hs | 14 +-
compiler/types/TyCoRep.hs | 7 +
docs/users_guide/glasgow_exts.rst | 18 +-
.../template-haskell/Language/Haskell/TH/Lib.hs | 23 +-
.../Language/Haskell/TH/Lib/Internal.hs | 56 ++-
.../template-haskell/Language/Haskell/TH/Ppr.hs | 76 +--
.../template-haskell/Language/Haskell/TH/Syntax.hs | 31 +-
libraries/template-haskell/changelog.md | 10 +-
.../tests/dependent/should_compile/T11241.stderr | 3 +-
testsuite/tests/deriving/should_compile/T14579a.hs | 22 +
testsuite/tests/deriving/should_compile/all.T | 1 +
testsuite/tests/ghci/scripts/T12447.stdout | 4 +-
.../should_fail/ExplicitForAllFams4b.stderr | 24 -
.../tests/parser/should_compile/DumpParsedAst.hs | 10 +-
.../parser/should_compile/DumpParsedAst.stderr | 364 ++++++++++++---
.../tests/parser/should_compile/DumpRenamedAst.hs | 8 +-
.../parser/should_compile/DumpRenamedAst.stderr | 513 +++++++++++++++------
.../parser/should_compile/DumpTypecheckedAst.hs | 9 +-
.../should_compile/DumpTypecheckedAst.stderr | 420 ++++++++++++++++-
.../tests/parser/should_compile/KindSigs.stderr | 15 +-
testsuite/tests/parser/should_compile/T12045e.hs | 13 +
testsuite/tests/parser/should_compile/all.T | 1 +
testsuite/tests/parser/should_fail/T12045d.hs | 11 +
testsuite/tests/parser/should_fail/T12045d.stderr | 4 +
testsuite/tests/parser/should_fail/all.T | 1 +
.../should_compile/Defaulting2MROff.stderr | 2 +-
.../should_compile/Defaulting2MROn.stderr | 2 +-
.../partial-sigs/should_compile/Either.stderr | 2 +-
.../partial-sigs/should_compile/EveryNamed.stderr | 2 +-
.../should_compile/ExprSigLocal.stderr | 10 +-
.../should_compile/ExtraConstraints3.stderr | 8 +-
.../partial-sigs/should_compile/SimpleGen.stderr | 2 +-
.../partial-sigs/should_compile/SplicesUsed.stderr | 34 +-
.../partial-sigs/should_compile/SuperCls.stderr | 2 +-
.../partial-sigs/should_compile/T10403.stderr | 14 +-
.../partial-sigs/should_compile/T10438.stderr | 3 +-
.../partial-sigs/should_compile/T10519.stderr | 2 +-
.../partial-sigs/should_compile/T11016.stderr | 2 +-
.../partial-sigs/should_compile/T11339a.stderr | 3 +-
.../partial-sigs/should_compile/T11670.stderr | 26 +-
.../partial-sigs/should_compile/T12844.stderr | 2 +-
.../partial-sigs/should_compile/T12845.stderr | 2 +-
.../partial-sigs/should_compile/T13482.stderr | 8 +-
.../partial-sigs/should_compile/T14217.stderr | 2 +-
.../partial-sigs/should_compile/T14643.stderr | 4 +-
.../partial-sigs/should_compile/T14643a.stderr | 4 +-
.../partial-sigs/should_compile/T14715.stderr | 21 +-
.../partial-sigs/should_compile/TypedSplice.stderr | 4 +-
.../partial-sigs/should_compile/Uncurry.stderr | 2 +-
.../should_compile/UncurryNamed.stderr | 2 +-
.../WarningWildcardInstantiations.stderr | 36 +-
.../ExtraConstraintsWildcardInPatternSplice.stderr | 8 +-
.../InstantiatedNamedWildcardsInConstraints.stderr | 8 +-
.../NamedExtraConstraintsWildcard.stderr | 8 +-
.../should_fail/NamedWildcardsNotInMonotype.stderr | 10 +-
.../PartialTypeSignaturesDisabled.stderr | 6 +-
.../tests/partial-sigs/should_fail/PatBind3.stderr | 8 +-
.../tests/partial-sigs/should_fail/T10615.stderr | 6 +-
.../tests/partial-sigs/should_fail/T10999.stderr | 3 +-
.../tests/partial-sigs/should_fail/T11122.stderr | 4 +-
.../tests/partial-sigs/should_fail/T11515.stderr | 2 +-
.../tests/partial-sigs/should_fail/T11976.stderr | 6 +-
.../tests/partial-sigs/should_fail/T12634.stderr | 2 +-
.../tests/partial-sigs/should_fail/T14040a.stderr | 6 +-
.../tests/partial-sigs/should_fail/T14584.stderr | 8 +-
.../partial-sigs/should_fail/TidyClash.stderr | 18 +-
.../partial-sigs/should_fail/TidyClash2.stderr | 53 ++-
.../should_fail/WildcardInstantiations.stderr | 34 +-
.../WildcardsInPatternAndExprSig.stderr | 46 +-
.../tests/partial-sigs/should_run/T15415.stderr | 44 +-
.../tests/partial-sigs/should_run/T15415.stdout | 4 +-
testsuite/tests/perf/compiler/T13035.stderr | 4 +-
testsuite/tests/polykinds/T14172.stderr | 5 +-
testsuite/tests/polykinds/T14265.stderr | 30 +-
testsuite/tests/th/ClosedFam2TH.hs | 32 +-
testsuite/tests/th/T12045TH1.hs | 17 +
testsuite/tests/th/T12045TH1.stderr | 18 +
testsuite/tests/th/T12045TH2.hs | 30 ++
testsuite/tests/th/T12045TH2.stderr | 5 +
testsuite/tests/th/T12503.hs | 4 +-
testsuite/tests/th/T13618.hs | 8 +-
testsuite/tests/th/T15360b.stderr | 8 +-
testsuite/tests/th/T15362.hs | 9 +
testsuite/tests/th/T15362.stderr | 10 +
testsuite/tests/th/T5886a.hs | 4 +-
testsuite/tests/th/T6018th.hs | 83 ++--
testsuite/tests/th/T6018th.stderr | 6 +-
testsuite/tests/th/T7532a.hs | 2 +-
testsuite/tests/th/T8884.hs | 10 +-
testsuite/tests/th/TH_TyInstWhere2.hs | 11 +-
testsuite/tests/th/TH_TyInstWhere2.stderr | 7 +-
testsuite/tests/th/TH_reifyDecl1.hs | 8 +-
testsuite/tests/th/TH_reifyDecl1.stderr | 22 +-
testsuite/tests/th/all.T | 3 +
.../tests/typecheck/should_compile/T10072.stderr | 6 +-
.../tests/typecheck/should_compile/T12045a.hs | 83 ++++
testsuite/tests/typecheck/should_compile/T14366.hs | 13 +
testsuite/tests/typecheck/should_compile/T15788.hs | 11 +
testsuite/tests/typecheck/should_compile/T15793.hs | 18 +
.../tests/typecheck/should_compile/T15807a.hs | 12 +
testsuite/tests/typecheck/should_compile/all.T | 5 +
testsuite/tests/typecheck/should_fail/T12045b.hs | 8 +
.../tests/typecheck/should_fail/T12045b.stderr | 5 +
testsuite/tests/typecheck/should_fail/T12045c.hs | 9 +
.../tests/typecheck/should_fail/T12045c.stderr | 5 +
.../tests/typecheck/should_fail/T13819.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T15592a.hs | 9 +
.../tests/typecheck/should_fail/T15592a.stderr | 8 +
testsuite/tests/typecheck/should_fail/T15797.hs | 26 ++
.../tests/typecheck/should_fail/T15797.stderr | 6 +
testsuite/tests/typecheck/should_fail/T15799.hs | 47 ++
.../tests/typecheck/should_fail/T15799.stderr | 7 +
testsuite/tests/typecheck/should_fail/T15801.hs | 53 +++
.../tests/typecheck/should_fail/T15801.stderr | 6 +
testsuite/tests/typecheck/should_fail/T15807.hs | 12 +
.../tests/typecheck/should_fail/T15807.stderr | 16 +
testsuite/tests/typecheck/should_fail/T15816.hs | 8 +
.../tests/typecheck/should_fail/T15816.stderr | 5 +
testsuite/tests/typecheck/should_fail/all.T | 8 +
utils/haddock | 2 +-
141 files changed, 3060 insertions(+), 1205 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 17bd163566153babbf51adaff8397f948ae363ca
More information about the ghc-commits
mailing list