From fe58dd2f091f5a4a0e83a5ec6da643a6711e3aed Mon Sep 17 00:00:00 2001
From: Simon Peyton Jones <simonpj@microsoft.com>
Date: Fri, 6 May 2011 18:07:36 +0100
Subject: [PATCH 1/1] Fix build

---
 compiler/typecheck/TcMatches.lhs |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcMatches.lhs b/compiler/typecheck/TcMatches.lhs
index ce6c2fc..29890a2 100644
--- a/compiler/typecheck/TcMatches.lhs
+++ b/compiler/typecheck/TcMatches.lhs
@@ -730,7 +730,7 @@ tcMcStmt ctxt (ParStmt bndr_stmts_s mzip_op bind_op return_op) res_ty thing_insi
 	-- so for now we just check that it's the identity
     check_same actual expected
       = do { coi <- unifyType actual expected
-	   ; unless (isIdentityCoI coi) $
+	   ; unless (isReflCo coi) $
              failWithMisMatch [UnifyOrigin { uo_expected = expected
                                            , uo_actual = actual }] }
 
-- 
1.7.10.4