#10548: Support PartialTypeSignatures in Template Haskell -------------------------------------+------------------------------------- Reporter: spinda | Owner: thomasw Type: feature request | Status: new Priority: normal | Milestone: Component: Template Haskell | Version: 7.10.1 Resolution: | Keywords: newcomer Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by thomasw): The changes to TH itself are straightforward. However Adam is right, the (named) wild cards must be known before renaming starts, and TH type splices are run ''during'' renaming. Besides a small bug I'm looking into, I see no problem with supporting anonymous wild cards in TH type splices. Named wild cards will require much more work and a refactoring of how splices and wild cards interact during renaming. Does it make sense to only allow anonymous wild cards in TH type splices but not named wild cards? -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10548#comment:6 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler