Make Generic (Proxy t) instance poly-kinded (fixes #10775)

Authored by RyanGlScott on Aug 29 2015, 5:23 AM.

Description

Make Generic (Proxy t) instance poly-kinded (fixes Trac #10775)

This amounts to enabling PolyKinds in GHC.Generics. However, explicit
kind signatures must be applied to the datatypes and typeclasses in
GHC.Generics to ensure that the Core which TcGenGenerics generates
is properly kinded.

Several of the typeclasses in GHC.Generics could be poly-kinded, but
this differential does not attempt to address this, since D493 already
addresses this.

Test Plan: ./validate

Reviewers: hvr, austin, dreixel, bgamari

Reviewed By: austin, dreixel, bgamari

Subscribers: goldfire, thomie

Differential Revision: https://phabricator.haskell.org/D1166

GHC Trac Issues: Trac #10775

Details

Committed
bgamariAug 29 2015, 6:08 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Reviewer
austin
Differential Revision
D1166: Make Generic (Proxy t) instance poly-kinded (fixes #10775)
Parents
rGHCDIFF15cb83d4e98c: Add testcase for #7411
Branches
Unknown
Tags
Unknown