Handle Coercible (forall a. t) (forall a. t2) in TcInteract
authorJoachim Breitner <mail@joachim-breitner.de>
Mon, 2 Dec 2013 11:01:36 +0000 (11:01 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Mon, 2 Dec 2013 11:02:18 +0000 (11:02 +0000)
commite1e9fafcb799c6fdd1468b55b9362658d72fc382
treead65ded9939718913c1c276aba5696ab61296aa6
parent249d47a5f94a0e00d02e15689bf258b63461b83b
Handle Coercible (forall a. t) (forall a. t2) in TcInteract
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcInteract.lhs