• 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
    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
TcSimplify.lhs 111 KB