#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