-
TomSchrijvers authored
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.
66c58d1c