• TomSchrijvers's avatar
    fix of wanted equational class context · 66c58d1c
    TomSchrijvers authored
    Previously failed to account for equational
    class context for wanted dictionary contraints, e.g. wanted C a
    	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.