#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