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

#15360: Template Haskell splicing drops lots of type arguments -------------------------------------+------------------------------------- Reporter: goldfire | Owner: mnguyen Type: bug | Status: patch Priority: normal | Milestone: 8.8.1 Component: Template Haskell | Version: 8.4.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5188 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ryan Scott ): In [changeset:"ba163c3b3502df039e589c5bb0bc9ea767267b2a/ghc" ba163c3b/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="ba163c3b3502df039e589c5bb0bc9ea767267b2a" Don't drop arguments in TH type arguments Summary: When converting from TH AST back to HsType, we were occasionally dropping type arguments. This resulted in incorrectly accepted programs as well as incorrectly rejected programs. Test Plan: make TEST=T15360a && make TEST=T15360b Reviewers: goldfire, bgamari, tdammers Reviewed By: bgamari, tdammers Subscribers: RyanGlScott, rwbarton, carter GHC Trac Issues: #15360 Differential Revision: https://phabricator.haskell.org/D5188 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15360#comment:4 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler