diff options
| author | Piyush P Kurur <ppk@cse.iitk.ac.in> | 2018-08-06 18:37:56 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-08-06 18:38:55 -0400 |
| commit | 7d771987c2766bfedc92f5183d6fd571ab508a0e (patch) | |
| tree | 6e613fc7809f30c8632c618bc5ceed7a5f748be1 /libraries/binary | |
| parent | e28bb01d707aee462eae07c5a30a596b2830579f (diff) | |
| download | haskell-7d771987c2766bfedc92f5183d6fd571ab508a0e.tar.gz | |
Support typechecking of type literals in backpack
Backpack is unable to type check signatures that expect a data which
is a type level literal. This was reported in issue #15138. These
commits are a fix for this. It also includes a minimal test case that
was mentioned in the issue.
Reviewers: bgamari, ezyang, goldfire
Reviewed By: bgamari, ezyang
Subscribers: simonpj, ezyang, rwbarton, thomie, carter
GHC Trac Issues: #15138
Differential Revision: https://phabricator.haskell.org/D4951
Diffstat (limited to 'libraries/binary')
0 files changed, 0 insertions, 0 deletions