X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcMatches.lhs;h=29890a21b54973ae4237a74c39a8b515984e4728;hp=ce6c2fc7fb453c846fc6e7518ffc71b194d05aff;hb=HEAD;hpb=ca53c38335cdc671f0b1e0949aa1514fc3fd72a5

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