Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : master
http://hackage.haskell.org/trac/ghc/changeset/e52d9d462f373a15f56c09628f9c22f4cbb92021 >--------------------------------------------------------------- commit e52d9d462f373a15f56c09628f9c22f4cbb92021 Author: Simon Peyton Jones <simo...@microsoft.com> Date: Fri Jan 4 10:30:26 2013 +0000 Add an ASSERT >--------------------------------------------------------------- compiler/typecheck/TcPat.lhs | 3 ++- 1 files changed, 2 insertions(+), 1 deletions(-) diff --git a/compiler/typecheck/TcPat.lhs b/compiler/typecheck/TcPat.lhs index 548a11d..a1aac01 100644 --- a/compiler/typecheck/TcPat.lhs +++ b/compiler/typecheck/TcPat.lhs @@ -350,7 +350,8 @@ tc_lpats :: PatEnv -> TcM a -> TcM ([LPat TcId], a) tc_lpats penv pats tys thing_inside - = tcMultiple (\(p,t) -> tc_lpat p t) + = ASSERT2( equalLength pats tys, ppr pats $$ ppr tys ) + tcMultiple (\(p,t) -> tc_lpat p t) (zipEqual "tc_lpats" pats tys) penv thing_inside _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
