From b04828749b71a57e4132f91156eb94d50b4308c5 Mon Sep 17 00:00:00 2001
From: simonpj <unknown>
Date: Thu, 12 May 2005 16:51:03 +0000
Subject: [PATCH] [project @ 2005-05-12 16:51:03 by simonpj] Fix bad
 interaction between operators and higher-rank types Fixes
 Source bug #1200592 [GHC fails to pass dictionary in a
 rank-2 situation]

	Merge to STABLE
---
 ghc/compiler/typecheck/TcExpr.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ghc/compiler/typecheck/TcExpr.lhs b/ghc/compiler/typecheck/TcExpr.lhs
index 74abd23..4cdf5b5 100644
--- a/ghc/compiler/typecheck/TcExpr.lhs
+++ b/ghc/compiler/typecheck/TcExpr.lhs
@@ -266,7 +266,7 @@ tcExpr in_expr@(OpApp arg1 op fix arg2) res_ty
     tcArg op (arg2, arg2_ty, 2)			`thenM` \ arg2' ->
     addErrCtxt (exprCtxt in_expr)		$
     tcSubExp res_ty op_res_ty			`thenM` \ co_fn ->
-    returnM (OpApp arg1' op' fix arg2')
+    returnM (co_fn <$> OpApp arg1' op' fix arg2')
 \end{code}
 
 \begin{code}
-- 
1.7.10.4