[GHC] #15360: Template Haskell splicing drops lots of type arguments

GHC ghc-devs at haskell.org
Wed Jan 16 05:52:07 UTC 2019


#15360: Template Haskell splicing drops lots of type arguments
-------------------------------------+-------------------------------------
        Reporter:  goldfire          |                Owner:  mnguyen
            Type:  bug               |               Status:  closed
        Priority:  normal            |            Milestone:  8.8.1
       Component:  Template Haskell  |              Version:  8.4.3
      Resolution:  fixed             |             Keywords:
Operating System:  Unknown/Multiple  |         Architecture:
                                     |  Unknown/Multiple
 Type of failure:  None/Unknown      |            Test Case:  th/T15360a,
                                     |  th/T15360b
      Blocked By:                    |             Blocking:
 Related Tickets:                    |  Differential Rev(s):  Phab:D5188
       Wiki Page:                    |
-------------------------------------+-------------------------------------

Comment (by Richard Eisenberg <rae@…>):

 In [changeset:"17bd163566153babbf51adaff8397f948ae363ca/ghc"
 17bd1635/ghc]:
 {{{
 #!CommitTicketReference repository="ghc"
 revision="17bd163566153babbf51adaff8397f948ae363ca"
 Visible kind application

 Summary:
 This patch implements visible kind application (GHC Proposal 15/#12045),
 as well as #15360 and #15362.
 It also refactors unnamed wildcard handling, and requires that type
 equations in type families in Template Haskell be
 written with full type on lhs. PartialTypeSignatures are on and warnings
 are off automatically with visible kind
 application, just like in term-level.

 There are a few remaining issues with this patch, as documented in
 ticket #16082.

 Includes a submodule update for Haddock.

 Test Plan: Tests T12045a/b/c/TH1/TH2, T15362, T15592a

 Reviewers: simonpj, goldfire, bgamari, alanz, RyanGlScott, Iceland_jack

 Subscribers: ningning, Iceland_jack, RyanGlScott, int-index, rwbarton,
 mpickering, carter

 GHC Trac Issues: `#12045`, `#15362`, `#15592`, `#15788`, `#15793`,
 `#15795`, `#15797`, `#15799`, `#15801`, `#15807`, `#15816`

 Differential Revision: https://phabricator.haskell.org/D5229
 }}}

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


More information about the ghc-tickets mailing list