• Ryan Scott's avatar
    Make Generic (Proxy t) instance poly-kinded (fixes #10775) · a6826c5d
    Ryan Scott authored
    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: #10775
    a6826c5d
To find the state of this project's repository at the time of any of these versions, check out the tags..
changelog.md 13.1 KB