[GHC] #11721: GADT-syntax data constructors don't work well with TypeApplications
GHC
ghc-devs at haskell.org
Sat Oct 7 21:07:30 UTC 2017
#11721: GADT-syntax data constructors don't work well with TypeApplications
-------------------------------------+-------------------------------------
Reporter: goldfire | Owner: RyanGlScott
Type: bug | Status: closed
Priority: normal | Milestone: 8.4.1
Component: Compiler | Version: 8.1
Resolution: fixed | Keywords:
| TypeApplications
Operating System: Unknown/Multiple | Architecture:
| Unknown/Multiple
Type of failure: None/Unknown | Test Case:
Blocked By: | Blocking:
Related Tickets: #13848, #12025 | Differential Rev(s): Phab:D3687,
Wiki Page: | Phab:D4070
-------------------------------------+-------------------------------------
Comment (by Ryan Scott <ryan.gl.scott@…>):
In [changeset:"341d3a7896385f14580d048ea7681232e5b242ce/ghc"
341d3a78/ghc]:
{{{
#!CommitTicketReference repository="ghc"
revision="341d3a7896385f14580d048ea7681232e5b242ce"
Incorporate changes from #11721 into Template Haskell
Summary:
#11721 changed the order of type variables in GADT
constructor type signatures, but these changes weren't reflected in
Template Haskell reification of GADTs. Let's do that.
Along the way, I:
* noticed that the `T13885` test was claiming to test TH reification
of GADTs, but the reified data type wasn't actually a GADT! Since
this patch touches that part of the codebase, I decided to fix
this.
* incorporated some feedback from @simonpj in
https://phabricator.haskell.org/D3687#113566. (These changes alone
don't account for any different in behavior.)
Test Plan: make test TEST=T11721_TH
Reviewers: goldfire, austin, bgamari, simonpj
Reviewed By: goldfire, bgamari, simonpj
Subscribers: rwbarton, thomie, simonpj
GHC Trac Issues: #11721
Differential Revision: https://phabricator.haskell.org/D4070
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11721#comment:15>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list