#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/e0dadc87b57ce7f4ec3b72eb52e4abe5a... 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