#15815: problem with splicing type into constraint -------------------------------------+------------------------------------- Reporter: int-e | Owner: RyanGlScott Type: bug | Status: new Priority: highest | Milestone: 8.6.2 Component: Template Haskell | Version: 8.6.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: GHC rejects | Unknown/Multiple valid program | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by int-index): Sounds reasonable to me, although I'm unsure if we should target 8.8 for the more robust fix rather than 8.10. When #15760 is fixed, `decomposeType` in `th-abstraction` that you linked would have to start to care about parentheses as well, so I believe it's better to do both changes at once. And since the merge window for 8.8 closes in a couple of days, and these are breaking changes, then a more realistic target is probably 8.10 – what do you think? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15815#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler