#11357: Regression when deriving Generic1 on poly-kinded data family -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: Type: bug | Status: new Priority: highest | Milestone: 8.0.1 Component: Compiler | Version: 7.11 (CodeGen) | Keywords: Generics, Resolution: | TypeInType, TypeFamilies Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: GHC rejects | Test Case: valid program | deriving/should_compile/T11357 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Comment (by goldfire): Replying to [comment:10 simonpj]:
So, is comment:9 a release blocker?
I say "no". It seems to be triggered only when you're deriving `Generic1` for a datatype parameterized over mixed type and kind variables. This last bit is possible only with `-XTypeInType` and thus is not a regression. I'm frankly unsure (without more research) as to what the desired behavior should be here. -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/11357#comment:13 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler