Update core-spec for Coercion Quantification
authorNingning Xie <xnningxie@gmail.com>
Thu, 25 Oct 2018 14:01:21 +0000 (22:01 +0800)
committerNingning Xie <xnningxie@gmail.com>
Thu, 25 Oct 2018 14:02:20 +0000 (22:02 +0800)
commit3905c3c07ba2735e5b3d2dc3389272d5dbb1c503
tree7d5a91729b10aa1d4c27f247b80a8ede915d91b3
parentd85606d6dcc439a5d3e32da920cf605c13ce0781
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
docs/core-spec/Makefile
docs/core-spec/core-spec.mng
docs/core-spec/core-spec.pdf