Commit 7f2dee8e authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove redundant goop

See comment:22 in Trac #13594
parent af89d687
......@@ -749,14 +749,9 @@ matchWrapper ctxt mb_scr (MG { mg_alts = L _ matches
matchEquations ctxt new_vars eqns_info rhs_ty
; return (new_vars, result_expr) }
where
mk_eqn_info vars (L _ (Match ctx pats _ grhss))
mk_eqn_info vars (L _ (Match { m_pats = pats, m_grhss = grhss }))
= do { dflags <- getDynFlags
; let add_bang
| FunRhs {mc_strictness=SrcStrict} <- ctx
= pprTrace "addBang" empty addBang
| otherwise
= decideBangHood dflags
upats = map (unLoc . add_bang) pats
; let upats = map (unLoc . decideBangHood dflags) pats
dicts = toTcTypeBag (collectEvVarsPats upats) -- Only TcTyVars
; tm_cs <- genCaseTmCs2 mb_scr upats vars
; match_result <- addDictsDs dicts $ -- See Note [Type and Term Equality Propagation]
......
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