From: Manuel M T Chakravarty <chak@cse.unsw.edu.au>
Date: Mon, 7 Aug 2006 00:31:40 +0000 (+0000)
Subject: Correct grevious bug in mkSymCoercion
X-Git-Tag: After_FC_branch_merge~137
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=f80c996a1357445dac8471b149ee9a5c74b299c6;hp=373167c17a86641767ccb4df40556fa701255fb1

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
--- 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