Commit e52d9d46 authored by Simon Peyton Jones's avatar Simon Peyton Jones

Add an ASSERT

parent a8941e2a
......@@ -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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment