#15192: Refactor of Coercion -------------------------------------+------------------------------------- Reporter: ningning | Owner: ningning Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4747 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"e5f3de2cf2f52e7079cbee624ae91beecf663f87/ghc" e5f3de2/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="e5f3de2cf2f52e7079cbee624ae91beecf663f87" 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 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15192#comment:23> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler