more aggressive optimization of coercion terms
authortom.schrijvers@cs.kuleuven.be <unknown>
Sun, 8 Nov 2009 18:51:52 +0000 (18:51 +0000)
committertom.schrijvers@cs.kuleuven.be <unknown>
Sun, 8 Nov 2009 18:51:52 +0000 (18:51 +0000)
commit9e7dd142eeddc99ccfa9eada236371b267cfbdbb
tree157f655c0957e7b9f53e0eeeee63d511d19ce800
parentd91c667d5cfb835b0d60ffb6264934c1b49a44aa
more aggressive optimization of coercion terms
compiler/types/Coercion.lhs