• Ryan Scott's avatar
    Incorporate changes from #11721 into Template Haskell · 341d3a78
    Ryan Scott authored
    #11721 changed the order of type variables in GADT
    constructor type signatures, but these changes weren't reflected in
    Template Haskell reification of GADTs. Let's do that.
    Along the way, I:
    * noticed that the `T13885` test was claiming to test TH reification
      of GADTs, but the reified data type wasn't actually a GADT! Since
      this patch touches that part of the codebase, I decided to fix
    * incorporated some feedback from @simonpj in
      https://phabricator.haskell.org/D3687#113566. (These changes alone
      don't account for any different in behavior.)
    Test Plan: make test TEST=T11721_TH
    Reviewers: goldfire, austin, bgamari, simonpj
    Reviewed By: goldfire, bgamari, simonpj
    Subscribers: rwbarton, thomie, simonpj
    GHC Trac Issues: #11721
    Differential Revision: https://phabricator.haskell.org/D4070
DataCon.hs 57.2 KB