• Ryan Scott's avatar
    Remove use of KProxy in GHC.Generics · 0e92af91
    Ryan Scott authored
    Summary:
    With `-XTypeInType`, the singletons machinery that `GHC.Generics` uses
    no longer needs `KProxy` to hack around the use of `k` as both a type
    and a kind. This is simply changing the code to match what's currently
    in the upstream `singletons` repo.
    
    Reviewers: austin, hvr, bgamari
    
    Reviewed By: bgamari
    
    Subscribers: thomie, goldfire
    
    Differential Revision: https://phabricator.haskell.org/D2347
    0e92af91
Generics.hs 46.3 KB