Skip to content
Snippets Groups Projects
Select Git revision
20 results
Blame Permalink
Forked from Glasgow Haskell Compiler / GHC
Source project has a limited visibility.
  • Ningning Xie's avatar
    e5f3de2c
    update core-spec for GRefl and re-factored Refl · e5f3de2c
    Ningning Xie authored 
    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
    e5f3de2c
    History
    update core-spec for GRefl and re-factored Refl
    Ningning Xie authored 
    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
Code owners
Assign users and groups as approvers for specific file changes. Learn more.