diff options
| author | Edward Z. Yang <ezyang@cs.stanford.edu> | 2017-10-16 15:27:10 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2017-10-16 17:24:49 -0400 |
| commit | fd8b044e9664181d4815e48e8f83be78bc9fe8d2 (patch) | |
| tree | 7e81af52e4a14c1975c35f481e0279c1271cb1fc /rts/ghc.mk | |
| parent | 71a423562a555ef0805bba546a3a42d437803842 (diff) | |
| download | haskell-fd8b044e9664181d4815e48e8f83be78bc9fe8d2.tar.gz | |
Levity polymorphic Backpack.
This patch makes it possible to specify non * kinds of
abstract data types in signatures, so you can have
levity polymorphism through Backpack, without the runtime
representation constraint!
Signed-off-by: Edward Z. Yang <ezyang@cs.stanford.edu>
Test Plan: validate
Reviewers: andrewthad, bgamari, austin, goldfire
Reviewed By: bgamari
Subscribers: goldfire, rwbarton, thomie
GHC Trac Issues: #13955
Differential Revision: https://phabricator.haskell.org/D3825
Diffstat (limited to 'rts/ghc.mk')
0 files changed, 0 insertions, 0 deletions