From: Simon Peyton Jones Date: Fri, 6 May 2011 17:07:36 +0000 (+0100) Subject: Fix build X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=fe58dd2f091f5a4a0e83a5ec6da643a6711e3aed;hp=ca53c38335cdc671f0b1e0949aa1514fc3fd72a5 Fix build --- 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 }] }