Commit 30b1fe2f authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Remove a bogus warning

The new comment explains why this warning can
legitimately fire, so I've removed it entirely.
Lint will cath any bad cases.
parent fb78b0d2
......@@ -2169,7 +2169,12 @@ markJoinOneShots mb_join_arity bndrs
Just n -> go n bndrs
where
go 0 bndrs = bndrs
go _ [] = WARN( True, ppr mb_join_arity <+> ppr bndrs ) []
go _ [] = [] -- This can legitimately happen.
-- e.g. let j = case ... in j True
-- This will become an arity-1 join point after the
-- simplifier has eta-expanded it; but it may not have
-- enough lambdas /yet/. (Lint checks that JoinIds do
-- have enough lambdas.)
go n (b:bs) = b' : go (n-1) bs
where
b' | isId b = setOneShotLambda b
......
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