[GHC] #7021: Tuple (and other exotic predicates) not yet handled in Template Haskell

[GHC]

#7021: Tuple (and other exotic predicates) not yet handled in Template Haskell
-------------------------+-------------------------------------------------
        Reporter:        |            Owner:
  goldfire               |           Status:  closed
            Type:        |        Milestone:  7.8.1
  feature request        |          Version:  7.5
        Priority:        |         Keywords:  ConstraintKinds
  normal                 |  TemplateHaskell
       Component:        |     Architecture:  Unknown/Multiple
  Template Haskell       |       Difficulty:  Unknown
      Resolution:        |       Blocked By:
  fixed                  |  Related Tickets:
Operating System:        |
  Unknown/Multiple       |
 Type of failure:        |
  None/Unknown           |
       Test Case:        |
  th/T7021               |
        Blocking:        |
-------------------------+-------------------------------------------------

Comment (by carter):

 Could you summarize what sorts of TH would break with this change?  Ie
 what gets broken vs what gets improved?

 I assume the changes are localized to this commit
 https://ghc.haskell.org/trac/ghc/changeset/e0dadc87b57ce7f4ec3b72eb52e4abe5a5218f52/ghc
 mostly?

 Could you expand on what sort of TH code might be impacted? (or should i
 find some time to build current head an test it on some project that
 currently support 7.8 RC and have heavy TH usage?)

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7021#comment:19>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler