[GHC] #10548: Support PartialTypeSignatures in Template Haskell

GHC ghc-devs at haskell.org
Thu Jul 9 07:40:32 UTC 2015


#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:  Phab:D1048
-------------------------------------+-------------------------------------

Comment (by thomasw):

 Actually, this limitation only applies to type splices. I had forgotten
 about declaration splices, which can also contain type signatures, until
 goldfire reminded me. My patch on Phabricator adds full support for
 partial type signatures in declaration splices in addition to support for
 anonymous wild cards in type splices.

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


More information about the ghc-tickets mailing list