[GHC] #8541: Coercible should be higher-kinded
GHC
ghc-devs at haskell.org
Wed Nov 20 09:38:40 UTC 2013
#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:"bbfaff2fa89b21bee058af7e6e6ddd66524524d0/testsuite"]:
{{{
#!CommitTicketReference repository="testsuite"
revision="bbfaff2fa89b21bee058af7e6e6ddd66524524d0"
Add examples from #8541 to testsuite
}}}
--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8541#comment:6>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
More information about the ghc-tickets
mailing list