#5002: 7.0.2 ignores a context which 7.0.1 picks up
--------------------------------+-------------------------------------------
Reporter: patrick_premont | Owner: simonpj
Type: bug | Status: new
Priority: highest | Milestone: 7.2.1
Component: Compiler | Version: 7.0.2
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Windows | Blocking:
Architecture: x86 | Failure: GHC rejects valid program
--------------------------------+-------------------------------------------
Comment(by dimitris):
OK yes this is indeed related to #4981 and is fixed because of saturation
of equalities, but there's more work to be done -- see the commentary on
#4981. I will
add both these to the testsuite.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/5002#comment:4>
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
