[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:        |
-------------------------+-------------------------------------------------
Changes (by goldfire):

 * status:  new => closed
 * testcase:   => th/T7021
 * resolution:   => fixed


Comment:

 I've applied your patches, Yorick. I did a little refactoring at the end,
 but most of the code stood on its own. Many thanks!

 I am not recommending this for merging, as it makes a non-trivial change
 to Template Haskell which will affect many users of TH. I think it's a
 move in the right direction, but I'm worried with the release candidate
 already out, that libraries will test against the RC, see that it works,
 and then be happy. If there's a user-facing change like this in 7.8,
 people could get caught unaware.

 If anyone out there (particularly Yorick) feels differently, please
 advocate your case!

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