diff options
| author | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-06-20 09:25:55 -0400 |
|---|---|---|
| committer | Ryan Scott <ryan.gl.scott@gmail.com> | 2016-06-20 09:25:56 -0400 |
| commit | 0e92af91f7246dd8c6f01ccc475f621e8869a423 (patch) | |
| tree | 89bd2b92a59fbf70fc05e36bd854c073644b8bb8 /compiler/rename/RnExpr.hs | |
| parent | 0be38a22059ef761ff0f5487e88c18a9fd6df53b (diff) | |
| download | haskell-0e92af91f7246dd8c6f01ccc475f621e8869a423.tar.gz | |
Remove use of KProxy in GHC.Generics
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
Diffstat (limited to 'compiler/rename/RnExpr.hs')
0 files changed, 0 insertions, 0 deletions