Properly ppr InstEqs in wanteds of implication constraints
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 22 Nov 2007 09:30:02 +0000 (09:30 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 22 Nov 2007 09:30:02 +0000 (09:30 +0000)
commitaafdba3bce91afb003f5f50e001e141744837bae
tree1a15647799e2998e79d469f67d0acc64247ddf0b
parent97169c5dd31537b28f5f8ad08cd6cdf82c1ecefd
Properly ppr InstEqs in wanteds of implication constraints
compiler/typecheck/Inst.lhs
compiler/typecheck/TcRnTypes.lhs
compiler/typecheck/TcSimplify.lhs