diff options
| author | Ningning Xie <xnningxie@gmail.com> | 2018-10-25 22:01:21 +0800 |
|---|---|---|
| committer | Ningning Xie <xnningxie@gmail.com> | 2018-10-25 22:02:20 +0800 |
| commit | 3905c3c07ba2735e5b3d2dc3389272d5dbb1c503 (patch) | |
| tree | 7d5a91729b10aa1d4c27f247b80a8ede915d91b3 /testsuite/tests/roles | |
| parent | d85606d6dcc439a5d3e32da920cf605c13ce0781 (diff) | |
| download | haskell-3905c3c07ba2735e5b3d2dc3389272d5dbb1c503.tar.gz | |
Update core-spec for Coercion Quantification
Summary:
Update details for `ForAllTy` and `ForAllCo` in core-spec, as they
can now quantify over coercion variables.
Test Plan: Please read core-spec.pdf
Reviewers: goldfire, simonpj, bgamari
Reviewed By: goldfire
Subscribers: rwbarton, carter
GHC Trac Issues: #15497, #15589
Differential Revision: https://phabricator.haskell.org/D5247
Diffstat (limited to 'testsuite/tests/roles')
0 files changed, 0 insertions, 0 deletions