[commit: ghc] wip/spj-wildcard-refactor: Major refactor of signature types (a256af5)
git at git.haskell.org
git at git.haskell.org
Mon Oct 26 14:05:52 UTC 2015
Repository : ssh://git@git.haskell.org/ghc
On branch : wip/spj-wildcard-refactor
Link : http://ghc.haskell.org/trac/ghc/changeset/a256af524fcaab5a6e2f8af23c7cc1480f5bdce7/ghc
>---------------------------------------------------------------
commit a256af524fcaab5a6e2f8af23c7cc1480f5bdce7
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date: Sun Oct 25 23:50:14 2015 +0000
Major refactor of signature types
Needs proper commit message
>---------------------------------------------------------------
a256af524fcaab5a6e2f8af23c7cc1480f5bdce7
compiler/basicTypes/RdrName.hs | 2 +-
compiler/deSugar/Coverage.hs | 13 +-
compiler/deSugar/DsBinds.hs | 8 +-
compiler/deSugar/DsForeign.hs | 6 +-
compiler/deSugar/DsMeta.hs | 181 ++--
compiler/hsSyn/Convert.hs | 78 +-
compiler/hsSyn/HsBinds.hs | 61 +-
compiler/hsSyn/HsDecls.hs | 141 +--
compiler/hsSyn/HsExpr.hs | 16 +-
compiler/hsSyn/HsPat.hs | 6 +-
compiler/hsSyn/HsSyn.hs | 2 +-
compiler/hsSyn/HsTypes.hs | 423 ++++----
compiler/hsSyn/HsUtils.hs | 92 +-
compiler/main/HscStats.hs | 16 +-
compiler/parser/Lexer.x | 14 +-
compiler/parser/Parser.y | 236 ++---
compiler/parser/RdrHsSyn.hs | 158 +--
compiler/prelude/PrelNames.hs | 4 +-
compiler/rename/RnBinds.hs | 131 +--
compiler/rename/RnEnv.hs | 260 ++---
compiler/rename/RnExpr.hs | 10 +-
compiler/rename/RnNames.hs | 5 +-
compiler/rename/RnPat.hs | 8 +-
compiler/rename/RnSource.hs | 204 ++--
compiler/rename/RnSplice.hs | 33 +-
compiler/rename/RnTypes.hs | 1012 +++++++++++---------
compiler/typecheck/TcBinds.hs | 417 ++++----
compiler/typecheck/TcClassDcl.hs | 22 +-
compiler/typecheck/TcDefaults.hs | 2 +-
compiler/typecheck/TcDeriv.hs | 27 +-
compiler/typecheck/TcEnv.hs | 25 +-
compiler/typecheck/TcErrors.hs | 96 +-
compiler/typecheck/TcExpr.hs | 98 +-
compiler/typecheck/TcForeign.hs | 24 +-
compiler/typecheck/TcGenDeriv.hs | 29 +-
compiler/typecheck/TcHsSyn.hs | 8 +-
compiler/typecheck/TcHsType.hs | 379 +++++---
compiler/typecheck/TcInstDcls.hs | 42 +-
compiler/typecheck/TcMType.hs | 40 +-
compiler/typecheck/TcPat.hs | 197 +---
compiler/typecheck/TcPatSyn.hs | 2 +-
compiler/typecheck/TcPatSyn.hs-boot | 3 +-
compiler/typecheck/TcRnDriver.hs | 42 +-
compiler/typecheck/TcRnMonad.hs | 38 +-
compiler/typecheck/TcRnTypes.hs | 246 ++++-
compiler/typecheck/TcRules.hs | 32 +-
compiler/typecheck/TcSMonad.hs | 16 +-
compiler/typecheck/TcSimplify.hs | 50 +-
compiler/typecheck/TcSplice.hs | 6 +-
compiler/typecheck/TcTyClsDecls.hs | 29 +-
compiler/typecheck/TcType.hs | 32 +-
compiler/typecheck/TcUnify.hs | 40 +-
compiler/typecheck/TcValidity.hs | 52 +-
compiler/types/InstEnv.hs | 3 +-
ghc/InteractiveUI.hs | 8 +-
testsuite/tests/arrows/should_fail/T5380.stderr | 22 +-
testsuite/tests/deriving/should_fail/T5287.stderr | 8 +-
testsuite/tests/gadt/T3169.stderr | 10 +-
testsuite/tests/gadt/T7558.stderr | 8 +-
testsuite/tests/gadt/rw.stderr | 18 +-
testsuite/tests/ghci/scripts/T10248.stderr | 10 +-
testsuite/tests/ghci/scripts/T7873.stdout | 3 +-
testsuite/tests/ghci/scripts/ghci050.stderr | 2 +-
.../should_compile/PushedInAsGivens.stderr | 9 +-
.../indexed-types/should_compile/Simple14.stderr | 17 +-
.../indexed-types/should_compile/T3208b.stderr | 12 +-
.../indexed-types/should_fail/GADTwrong1.stderr | 16 +-
.../indexed-types/should_fail/NoMatchErr.stderr | 7 +-
.../indexed-types/should_fail/Overlap6.stderr | 9 +-
.../indexed-types/should_fail/SimpleFail15.stderr | 5 +-
.../indexed-types/should_fail/SimpleFail5a.stderr | 9 +-
.../tests/indexed-types/should_fail/T1897b.stderr | 5 +-
.../tests/indexed-types/should_fail/T1900.stderr | 5 +-
.../tests/indexed-types/should_fail/T2693.stderr | 34 +-
.../tests/indexed-types/should_fail/T3330a.stderr | 30 +-
.../tests/indexed-types/should_fail/T3440.stderr | 19 +-
.../tests/indexed-types/should_fail/T4093a.stderr | 12 +-
.../tests/indexed-types/should_fail/T4093b.stderr | 23 +-
.../tests/indexed-types/should_fail/T4174.stderr | 24 +-
.../tests/indexed-types/should_fail/T4272.stderr | 9 +-
.../tests/indexed-types/should_fail/T7194.stderr | 7 +-
.../tests/indexed-types/should_fail/T9036.stderr | 8 +-
.../tests/indexed-types/should_fail/T9171.stderr | 15 +-
.../tests/indexed-types/should_fail/T9433.stderr | 2 +-
.../tests/indexed-types/should_fail/T9662.stderr | 60 +-
testsuite/tests/module/mod98.stderr | 4 +-
testsuite/tests/parser/should_fail/T3811.stderr | 4 +-
testsuite/tests/parser/should_fail/T7848.stderr | 6 +-
.../tests/parser/should_fail/readFail031.stderr | 4 +-
.../should_compile/SomethingShowable.hs | 2 +-
.../should_compile/SomethingShowable.stderr | 2 +-
.../partial-sigs/should_compile/SplicesUsed.stderr | 64 +-
.../partial-sigs/should_compile/T10403.stderr | 36 +-
.../partial-sigs/should_compile/T10438.stderr | 3 +-
.../partial-sigs/should_compile/T10519.stderr | 4 +-
.../WarningWildcardInstantiations.stderr | 47 +-
testsuite/tests/partial-sigs/should_compile/all.T | 1 +
...ConstraintsWildcardInExpressionSignature.stderr | 6 +-
...traConstraintsWildcardInPatternSignature.stderr | 6 +-
.../ExtraConstraintsWildcardInTypeSplice2.hs | 2 +-
.../ExtraConstraintsWildcardInTypeSplice2.stderr | 5 +-
...ExtraConstraintsWildcardInTypeSpliceUsed.stderr | 12 +-
.../ExtraConstraintsWildcardNotEnabled.stderr | 4 +-
.../ExtraConstraintsWildcardNotLast.stderr | 10 +-
.../ExtraConstraintsWildcardTwice.stderr | 9 +-
.../InstantiatedNamedWildcardsInConstraints.stderr | 13 +-
.../NamedExtraConstraintsWildcard.stderr | 8 +-
.../NamedWildcardInDataFamilyInstanceLHS.stderr | 4 +-
.../NamedWildcardInTypeFamilyInstanceLHS.stderr | 4 +-
.../should_fail/NamedWildcardInTypeSplice.stderr | 9 +-
.../should_fail/NamedWildcardsEnabled.stderr | 8 +-
.../should_fail/NamedWildcardsNotEnabled.stderr | 18 +-
.../should_fail/NamedWildcardsNotInMonotype.hs | 5 +-
.../should_fail/NamedWildcardsNotInMonotype.stderr | 16 +-
.../NestedExtraConstraintsWildcard.stderr | 10 +-
.../NestedNamedExtraConstraintsWildcard.stderr | 7 +-
.../should_fail/PartialClassMethodSignature.stderr | 7 +-
.../PartialClassMethodSignature2.stderr | 7 +-
.../PartialTypeSignaturesDisabled.stderr | 8 +-
.../tests/partial-sigs/should_fail/T10615.stderr | 10 +-
.../partial-sigs/should_fail/TidyClash.stderr | 12 +-
.../partial-sigs/should_fail/Trac10045.stderr | 15 +-
.../should_fail/UnnamedConstraintWildcard1.stderr | 9 +-
.../should_fail/UnnamedConstraintWildcard2.stderr | 9 +-
.../partial-sigs/should_fail/WildcardInADT1.stderr | 8 +-
.../partial-sigs/should_fail/WildcardInADT2.stderr | 8 +-
.../partial-sigs/should_fail/WildcardInADT3.stderr | 8 +-
.../should_fail/WildcardInADTContext1.stderr | 8 +-
.../should_fail/WildcardInADTContext2.stderr | 8 +-
.../should_fail/WildcardInDefault.stderr | 7 +-
.../should_fail/WildcardInDefaultSignature.stderr | 7 +-
.../should_fail/WildcardInDeriving.stderr | 6 +-
.../should_fail/WildcardInForeignExport.stderr | 8 +-
.../should_fail/WildcardInForeignImport.stderr | 8 +-
.../should_fail/WildcardInGADT1.stderr | 8 +-
.../should_fail/WildcardInGADT2.stderr | 7 +-
.../should_fail/WildcardInInstanceHead.stderr | 6 +-
.../should_fail/WildcardInInstanceSig.stderr | 5 +-
.../should_fail/WildcardInNewtype.stderr | 8 +-
.../should_fail/WildcardInPatSynSig.stderr | 5 +-
.../WildcardInStandaloneDeriving.stderr | 6 +-
.../WildcardInTypeFamilyInstanceRHS.stderr | 8 +-
.../should_fail/WildcardInTypeSynonymRHS.stderr | 7 +-
.../should_fail/WildcardInstantiations.stderr | 47 +-
testsuite/tests/patsyn/should_fail/T9161-1.stderr | 5 +-
testsuite/tests/patsyn/should_fail/T9161-2.stderr | 4 +-
testsuite/tests/polykinds/PolyKinds02.stderr | 4 +-
testsuite/tests/polykinds/T10503.stderr | 13 +-
testsuite/tests/polykinds/T10516.stderr | 2 +-
testsuite/tests/polykinds/T6021.stderr | 7 +-
testsuite/tests/polykinds/T6068.hs | 4 +-
testsuite/tests/polykinds/T7224.stderr | 5 +-
testsuite/tests/polykinds/T7230.stderr | 8 +-
testsuite/tests/polykinds/T7278.stderr | 4 +-
testsuite/tests/polykinds/T7328.stderr | 5 +-
testsuite/tests/polykinds/T7438.stderr | 4 +-
testsuite/tests/polykinds/T9222.stderr | 17 +-
testsuite/tests/rename/should_compile/T4426.hs | 8 +-
testsuite/tests/rename/should_compile/T4426.stderr | 51 +-
testsuite/tests/rename/should_compile/T5331.stderr | 7 +-
testsuite/tests/rename/should_compile/all.T | 2 +-
testsuite/tests/rename/should_fail/T2901.stderr | 4 +-
testsuite/tests/rename/should_fail/T5372.hs | 0
testsuite/tests/rename/should_fail/T5372.stderr | 6 +-
.../tests/rename/should_fail/rnfail026.stderr | 6 +-
.../tests/simplCore/should_compile/T8848a.stderr | 2 +-
testsuite/tests/th/T3177a.stderr | 10 +-
testsuite/tests/th/T8625.stdout | 2 +-
testsuite/tests/th/TH_pragma.stderr | 0
.../tests/typecheck/should_compile/FD1.stderr | 9 +-
.../tests/typecheck/should_compile/FD2.stderr | 18 +-
.../tests/typecheck/should_compile/FD3.stderr | 5 +-
.../tests/typecheck/should_compile/T10632.stderr | 5 +-
.../tests/typecheck/should_compile/T7220a.stderr | 14 +-
.../tests/typecheck/should_compile/T9834.stderr | 46 +-
.../tests/typecheck/should_compile/T9939.stderr | 18 +-
.../tests/typecheck/should_compile/tc141.stderr | 16 +-
.../tests/typecheck/should_compile/tc168.stderr | 8 +-
.../typecheck/should_fail/ContextStack2.stderr | 7 +-
.../typecheck/should_fail/FDsFromGivens.stderr | 27 +-
.../should_fail/FailDueToGivenOverlapping.stderr | 7 +-
.../tests/typecheck/should_fail/IPFail.stderr | 5 +-
.../tests/typecheck/should_fail/T10285.stderr | 14 +-
.../tests/typecheck/should_fail/T10534.stderr | 18 +-
.../tests/typecheck/should_fail/T1897a.stderr | 8 +-
testsuite/tests/typecheck/should_fail/T1899.stderr | 7 +-
testsuite/tests/typecheck/should_fail/T2538.stderr | 6 +-
testsuite/tests/typecheck/should_fail/T2714.stderr | 18 +-
testsuite/tests/typecheck/should_fail/T3102.stderr | 8 +-
testsuite/tests/typecheck/should_fail/T3540.stderr | 20 +-
testsuite/tests/typecheck/should_fail/T4875.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T5236.stderr | 19 +-
testsuite/tests/typecheck/should_fail/T5300.stderr | 24 +-
testsuite/tests/typecheck/should_fail/T5957.stderr | 5 +-
testsuite/tests/typecheck/should_fail/T7279.stderr | 5 +-
testsuite/tests/typecheck/should_fail/T7410.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T7453.stderr | 15 +-
testsuite/tests/typecheck/should_fail/T7609.stderr | 8 +-
testsuite/tests/typecheck/should_fail/T7645.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T7696.stderr | 6 +-
testsuite/tests/typecheck/should_fail/T7697.stderr | 4 +-
.../tests/typecheck/should_fail/T7748a.stderr | 8 +-
testsuite/tests/typecheck/should_fail/T7778.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T7809.stderr | 2 +-
testsuite/tests/typecheck/should_fail/T7869.stderr | 4 +-
testsuite/tests/typecheck/should_fail/T8030.stderr | 10 +-
testsuite/tests/typecheck/should_fail/T8034.stderr | 3 +-
testsuite/tests/typecheck/should_fail/T8142.stderr | 3 +-
.../tests/typecheck/should_fail/T8392a.stderr | 10 +-
testsuite/tests/typecheck/should_fail/T8450.stderr | 8 +-
testsuite/tests/typecheck/should_fail/T8603.stderr | 9 +
testsuite/tests/typecheck/should_fail/T8806.stderr | 10 +-
testsuite/tests/typecheck/should_fail/T9196.stderr | 10 +-
testsuite/tests/typecheck/should_fail/T9201.stderr | 4 +-
testsuite/tests/typecheck/should_fail/mc19.stderr | 8 +-
testsuite/tests/typecheck/should_fail/mc21.stderr | 8 +-
testsuite/tests/typecheck/should_fail/mc22.stderr | 13 +-
.../tests/typecheck/should_fail/tcfail032.stderr | 2 +-
.../tests/typecheck/should_fail/tcfail034.stderr | 10 +-
.../tests/typecheck/should_fail/tcfail057.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail058.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail063.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail065.stderr | 14 +-
.../tests/typecheck/should_fail/tcfail067.stderr | 37 +-
.../tests/typecheck/should_fail/tcfail068.stderr | 91 +-
.../tests/typecheck/should_fail/tcfail072.stderr | 6 +-
.../tests/typecheck/should_fail/tcfail076.stderr | 16 +-
.../tests/typecheck/should_fail/tcfail078.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail080.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail097.stderr | 10 +-
.../tests/typecheck/should_fail/tcfail098.stderr | 5 +-
.../tests/typecheck/should_fail/tcfail101.stderr | 2 +-
.../tests/typecheck/should_fail/tcfail102.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail103.stderr | 14 +-
.../tests/typecheck/should_fail/tcfail107.stderr | 2 +-
.../tests/typecheck/should_fail/tcfail110.stderr | 5 +-
.../tests/typecheck/should_fail/tcfail113.stderr | 12 +-
.../tests/typecheck/should_fail/tcfail116.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail127.stderr | 2 +-
.../tests/typecheck/should_fail/tcfail131.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail134.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail135.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail142.stderr | 11 +-
.../tests/typecheck/should_fail/tcfail153.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail158.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail160.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail161.stderr | 4 +-
.../tests/typecheck/should_fail/tcfail174.stderr | 17 +-
.../tests/typecheck/should_fail/tcfail175.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail179.stderr | 18 +-
.../tests/typecheck/should_fail/tcfail191.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail193.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail196.stderr | 5 +-
.../tests/typecheck/should_fail/tcfail197.stderr | 2 +-
.../tests/typecheck/should_fail/tcfail201.stderr | 11 +-
.../tests/typecheck/should_fail/tcfail206.stderr | 26 +-
.../tests/typecheck/should_fail/tcfail208.stderr | 6 +-
.../tests/typecheck/should_fail/tcfail209a.stderr | 5 +-
.../tests/typecheck/should_fail/tcfail212.stderr | 8 +-
.../tests/typecheck/should_fail/tcfail215.stderr | 4 +-
testsuite/tests/typecheck/should_run/Defer01.hs | 4 +-
testsuite/tests/typecheck/should_run/T7861.stderr | 6 +-
testsuite/tests/typecheck/should_run/tcrun008.hs | 2 +-
263 files changed, 3986 insertions(+), 3279 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 a256af524fcaab5a6e2f8af23c7cc1480f5bdce7
More information about the ghc-commits
mailing list