#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 hvr): Replying to [comment:1 nomeata]:
currently on the branch wip/T8541 (I wonder why they were not auto- linked – is that only working for master?).
yes, it's to avoid having multiple redundant commits attached to the same ticket; so the commit will be linked to this ticket as soon as the commit becomes reachable from master for the first time. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8541#comment:3> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler