diff options
| author | ningning <xnningxie@gmail.com> | 2018-07-26 17:20:42 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-07-27 12:29:40 -0400 |
| commit | e5f3de2cf2f52e7079cbee624ae91beecf663f87 (patch) | |
| tree | 8f02e56aecbdad396c73c4a2bd468f4b0ad68d8c /ghc | |
| parent | 3581212e3a5ba42114f47ed83a96322e0e8028ab (diff) | |
| download | haskell-e5f3de2cf2f52e7079cbee624ae91beecf663f87.tar.gz | |
update core-spec for GRefl and re-factored Refl
Ticket #15192 introduced the generalized reflexive coercion `GRefl` and
nominal reflexive `Refl`, and removed `CoherenceCo`. Update core-spec
accordingly. Not sure about notations though; suggestions on more
concise notations would be great.
Test Plan: Read core-spec.pdf
Reviewers: goldfire, bgamari
Reviewed By: goldfire
Subscribers: rwbarton, thomie, carter
Differential Revision: https://phabricator.haskell.org/D4984
Diffstat (limited to 'ghc')
0 files changed, 0 insertions, 0 deletions