Re: [GHC] #15497: Coercion Quantification

#15497: Coercion Quantification -------------------------------------+------------------------------------- Reporter: ningning | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: Component: Compiler | Version: Resolution: fixed | Keywords: TypeInType Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D5054 Wiki Page: | https://ghc.haskell.org/trac/ghc/wiki/DependentHaskell/Phase2| -------------------------------------+------------------------------------- Comment (by Ningning Xie ): In [changeset:"3905c3c07ba2735e5b3d2dc3389272d5dbb1c503/ghc" 3905c3c/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="3905c3c07ba2735e5b3d2dc3389272d5dbb1c503" 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 }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/15497#comment:12 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler