From f80c996a1357445dac8471b149ee9a5c74b299c6 Mon Sep 17 00:00:00 2001 From: Manuel M T Chakravarty Date: Mon, 7 Aug 2006 00:31:40 +0000 Subject: [PATCH] Correct grevious bug in mkSymCoercion Tue Aug 1 08:53:05 EDT 2006 simonpj@microsoft.com --- compiler/types/Coercion.lhs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 1.7.10.4