[commit: ghc] master: Change Template Haskell representation of GADTs. (cac0795)

[git at git.haskell.org]

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

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

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

commit cac0795af33d622e4c6ebae6ae1f206969287088
Author: Jan Stolarek <jan.stolarek at p.lodz.pl>
Date:   Tue Jan 5 19:18:44 2016 +0100

    Change Template Haskell representation of GADTs.
    
    Previous representation of GADTs in TH was not expressive enough
    to express possible GADT return types. See #11341
    
    Test Plan: ./validate
    
    Reviewers: goldfire, austin, bgamari
    
    Subscribers: thomie, RyanGlScott
    
    Differential Revision: https://phabricator.haskell.org/D1738
    
    GHC Trac Issues: #11341


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

cac0795af33d622e4c6ebae6ae1f206969287088
 compiler/deSugar/DsMeta.hs                         | 24 ++-----
 compiler/hsSyn/Convert.hs                          | 28 ++++----
 compiler/typecheck/TcSplice.hs                     | 50 ++++++-------
 .../template-haskell/Language/Haskell/TH/Lib.hs    | 12 ++--
 .../template-haskell/Language/Haskell/TH/Ppr.hs    | 43 +++++------
 .../template-haskell/Language/Haskell/TH/Syntax.hs | 27 +++++--
 testsuite/tests/th/T10828.hs                       |  8 +--
 testsuite/tests/th/T10828.stderr                   | 83 ----------------------
 testsuite/tests/th/T10828b.hs                      |  4 +-
 testsuite/tests/th/T11341.hs                       | 30 ++++++++
 testsuite/tests/th/T11341.stderr                   |  6 ++
 testsuite/tests/th/T4188.hs                        |  2 -
 testsuite/tests/th/TH_RichKinds2.stderr            |  2 +-
 testsuite/tests/th/all.T                           |  7 +-
 14 files changed, 139 insertions(+), 187 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 cac0795af33d622e4c6ebae6ae1f206969287088