[GHC] #10548: Support PartialTypeSignatures in Template Haskell

[GHC]

#10548: Support PartialTypeSignatures in Template Haskell
-------------------------------------+-------------------------------------
        Reporter:  spinda            |                   Owner:
            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:
-------------------------------------+-------------------------------------
Changes (by adamgundry):

 * cc: thomasw, adamgundry (added)


Comment:

 I'd also like this (see #10094). I looked at it briefly and it didn't seem
 to be completely trivial, because the implementation traversed types to
 collect wildcards prior to renaming the type, and the presence of TH type
 splices means that it's hard to know up front whether wildcards will be
 present. But 058af6c90a0e8d122f2d1339b6b4fd0b5ec83d05 may have made it
 easier.

 Perhaps thomasw can advise further?

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10548#comment:4>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler