#4981: inconsistent class requirements with TypeFamilies and FlexibleContexts
----------------------------------------+-----------------------------------
Reporter: ganesh | Owner: simonpj
Type: bug | Status: new
Priority: high | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 7.0.1
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Unknown/Multiple | Blocking:
Architecture: Unknown/Multiple | Failure: GHC rejects valid
program
----------------------------------------+-----------------------------------
Comment(by dimitris):
OK I agree with Simon but the saturation of equalities is independently
useful and
I have already implemented it and pushed, so this example works now. I
will add it to the testsuite and start implementing Simon's proposal.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4981#comment:6>
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
