#14579: GeneralizedNewtypeDeriving produces ambiguously-kinded code -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: 8.10.1 Component: Compiler (Type | Version: 8.2.2 checker) | Resolution: | Keywords: deriving Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | deriving/should_compile/T14579{a} Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4264, Wiki Page: | Phab:D5229 -------------------------------------+------------------------------------- Changes (by RyanGlScott): * blockedby: 12045 => Comment: To recap, there are two distinct-but-related tasks here: 1. Make GND-generated code use VKA to instantiate arguments in specified positions. 2. Minimize the number of explicit kind signatures generated by GND code by using the approach discussed in comment:21. Althought (1) and (2) can technically be done independently, it's only the combination of the two that will make it so that the original program in this ticket generate code with no explicit kind signatures adorning its `'Proxy` types. I'll look into this approach. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/14579#comment:23 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler