#8541: Coercible should be higher-kinded -------------------------------------------------+------------------------- Reporter: nomeata | Owner: Type: task | nomeata Priority: normal | Status: patch Component: Compiler | Milestone: Resolution: | Version: 7.6.3 Operating System: Unknown/Multiple | Keywords: Type of failure: None/Unknown | Architecture: Test Case: TcCoercible, | Unknown/Multiple TcCoercibleFail3 | Difficulty: Blocking: | Unknown | Blocked By: | Related Tickets: -------------------------------------------------+------------------------- Comment (by Joachim Breitner <mail@…>): In [changeset:"90554a88bee5b492b4d4625ef30b23b9a7915347/testsuite"]: {{{ #!CommitTicketReference repository="testsuite" revision="90554a88bee5b492b4d4625ef30b23b9a7915347" Test case for undersaturated newtype in Coercions This is related to #8541. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8541#comment:7> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler