Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : ghc-new-co
http://hackage.haskell.org/trac/ghc/changeset/fe58dd2f091f5a4a0e83a5ec6da643a6711e3aed >--------------------------------------------------------------- commit fe58dd2f091f5a4a0e83a5ec6da643a6711e3aed Author: Simon Peyton Jones <[email protected]> Date: Fri May 6 18:07:36 2011 +0100 Fix build >--------------------------------------------------------------- compiler/typecheck/TcMatches.lhs | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) 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 }] } _______________________________________________ Cvs-ghc mailing list [email protected] http://www.haskell.org/mailman/listinfo/cvs-ghc
