[GHC] #9569: Tuple constraints don't work right

[GHC]

#9569: Tuple constraints don't work right
-------------------------------------+-------------------------------------
              Reporter:  simonpj     |            Owner:
                  Type:  bug         |           Status:  closed
              Priority:  normal      |        Milestone:
             Component:  Compiler    |          Version:  7.8.2
            Resolution:  fixed       |         Keywords:
      Operating System:              |     Architecture:  Unknown/Multiple
  Unknown/Multiple                   |       Difficulty:  Unknown
       Type of failure:              |       Blocked By:
  None/Unknown                       |  Related Tickets:
             Test Case:              |
  polykinds/T9569,                   |
  typecheck/should_compile/T9569a    |
              Blocking:              |
Differential Revisions:              |
-------------------------------------+-------------------------------------

Comment (by luite):

 I'll let them know, but I might first do some quick and dirty patching of
 the dependencies to get my stuff working again. I've been working on a new
 code generator with much reduced (dangerous) dependencies (and other
 improvements like a typed intermediate rep) to avoid problems like this,
 but unfortunately didn't have it ready in time for 7.10. I've been
 increasingly unhappy with current approach of developing against the
 stable GHC API, porting everything to the next version at the end of the
 cycle, so I'll announce/discuss some changes on `ghc-devs` for the next
 iteration.

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