Tue Sep 4 01:00:14 PDT 2007 Tom Schrijvers <[EMAIL PROTECTED]>
* fix of wanted equational class context
Previously failed to account for equational
class context for wanted dictionary contraints, e.g. wanted C a
in
class a ~ Int => C a
instance C Int
should give rise to wanted a ~ Int and consequently discharge a ~ Int by
unifying a with Int and then discharge C Int with the instance.
All ancestor equalities are taken into account.
M ./compiler/typecheck/Inst.lhs -1 +7
M ./compiler/typecheck/TcSimplify.lhs -1 +30
_______________________________________________
Cvs-ghc mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/cvs-ghc
