#4338: weird discrepancies between TFs and FDs in GHC7
----------------------------------------+-----------------------------------
Reporter: illissius | Owner:
Type: bug | Status: new
Priority: high | Milestone: 7.2.1
Component: Compiler (Type checker) | Version: 6.13
Keywords: | Testcase:
Blockedby: | Difficulty:
Os: Linux | Blocking:
Architecture: x86 | Failure: Compile-time crash
----------------------------------------+-----------------------------------
Changes (by simonpj):
* milestone: 7.0.2 => 7.2.1
Comment:
HEAD and 7.0 branch gives a civilised message
{{{
T4338.hs:5:1:
Alas, GHC 7.0 still cannot handle equality superclasses:
There a ~ b
In the context: (There a ~ b, BackAgain b ~ a)
While checking the super-classes of class `Foo'
In the class declaration for `Foo'
}}}
Will fix properly in 7.2.
--
Ticket URL: <http://hackage.haskell.org/trac/ghc/ticket/4338#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
