#7021: Tuple (and other exotic predicates) not yet handled in Template Haskell -------------------------+------------------------------------------------- Reporter: | Owner: goldfire | Status: new 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: Operating System: | Related Tickets: Unknown/Multiple | Type of failure: | None/Unknown | Test Case: | Blocking: | -------------------------+------------------------------------------------- Comment (by yoeight): Thanks for your advices ! I made Pred a type synonym of TH.Type. Impacted files sum up: {{{ dph-lifted-copy/Data/Array/Parallel/Lifted/TH/Repr.hs compiler/hsSyn/Convert.lhs compiler/typecheck/TcSplice.lhs Language/Haskell/TH.hs Language/Haskell/TH/Lib.hs Language/Haskell/TH/Ppr.hs Language/Haskell/TH/Syntax.hs }}} I have also made a test case based on description snippet Yorick -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7021#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler