Update Notes for Coercible
authorJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 09:28:53 +0000 (09:28 +0000)
committerJoachim Breitner <mail@joachim-breitner.de>
Fri, 29 Nov 2013 09:28:53 +0000 (09:28 +0000)
commit23efdd6f739eca3f910030a7a85948257747d9bc
treec49a321e69cc45218e6f60dfb37e75e3b61c5e2c
parent96416412cc8100bd1c1625e10c09df17c88a67b7
Update Notes for Coercible
compiler/prelude/primops.txt.pp
compiler/typecheck/TcCanonical.lhs
compiler/typecheck/TcInteract.lhs
compiler/typecheck/TcValidity.lhs