Correct grevious bug in mkSymCoercion

Tue Aug  1 08:53:05 EDT 2006  simonpj@microsoft.com

diff --git a/compiler/types/Coercion.lhs b/compiler/types/Coercion.lhs
index 8f08d35..52e4f42 100644 (file)
--- a/compiler/types/Coercion.lhs
+++ b/compiler/types/Coercion.lhs
@@ -168,7 +168,7 @@ mkSymCoercion co
     -- should make this case better
   = mkAppCoercion (mkSymCoercion co1) (mkSymCoercion co2)
   | Just (co1, co2) <- splitTransCoercion_maybe co
-  = mkTransCoercion (mkSymCoercion co1) (mkSymCoercion co2)
+  = mkTransCoercion (mkSymCoercion co2) (mkSymCoercion co1)
   | Just (co, ty) <- splitInstCoercion_maybe co
   = mkInstCoercion (mkSymCoercion co) ty
   | Just co <- splitLeftCoercion_maybe co