#15163: non coercion variable in coVarKindsTypesRole -------------------------------------+------------------------------------- Reporter: alpmestan | Owner: (none) Type: bug | Status: merge Priority: normal | Milestone: 8.4.4 Component: Compiler (Type | Version: 8.5 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: T14732 Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D4725 Wiki Page: | -------------------------------------+------------------------------------- Comment (by Ben Gamari <ben@…>): In [changeset:"c65159dcf401d36e8920f43fec300264533642b9/ghc" c65159dc/ghc]: {{{ #!CommitTicketReference repository="ghc" revision="c65159dcf401d36e8920f43fec300264533642b9" T14732 now passes with the profasm way Simon PJ recently fixed the problem behind this failure so we can now expect this test to pass in all ways again. The fixes got introduced in the following commits: 86bba7d519fb6050f78b7e3bac2b3f54273fd70e d191db48c43469ee1818887715bcbc5c0eb1d91f Test Plan: T14732 (profasm way) Reviewers: bgamari, RyanGlScott, simonpj Reviewed By: RyanGlScott, simonpj Subscribers: simonpj, RyanGlScott, rwbarton, thomie, carter GHC Trac Issues: #15163 Differential Revision: https://phabricator.haskell.org/D4725 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/15163#comment:11> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler