#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: -------------------------------------------------+------------------------- Changes (by nomeata): * status: new => patch * testcase: => TcCoercible, TcCoercibleFail3 Comment: Added a few testcases and avoiding panics for `Coercible (T NT1) (T NT2)`. Please break (or review) my code! Fancy side-by-side-diffs: http://git.haskell.org/ghc.git/commitdiff/refs/heads/wip/T8541?hp=851548d8d1... http://git.haskell.org/testsuite.git/commitdiff/refs/heads/wip/T8541?hp=1862... -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/8541#comment:2 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler