#4981: inconsistent class requirements with TypeFamilies and FlexibleContexts
---------------------------------------------------------------------------------+
Reporter: ganesh
| Owner: simonpj
Type: bug
| Status: closed
Priority: high
| Milestone: 7.2.1
Component: Compiler (Type checker)
| Version: 7.0.1
Resolution: fixed
| Keywords:
Testcase: indexed-types/should_compile/T4981-V1.hs, T4981-V2.hs, T4981-V3.hs
| Blockedby:
Difficulty:
| Os: Unknown/Multiple
Blocking:
| Architecture: Unknown/Multiple
Failure: GHC rejects valid program
|
---------------------------------------------------------------------------------+
Changes (by dimitris):
* testcase: => indexed-types/should_compile/T4981-V1.hs, T4981-V2.hs,
T4981-V3.hs
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4981#comment:8>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler
_______________________________________________
Glasgow-haskell-bugs mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs
