cosmetic: make shadow check a bet more compact
commitc48044937175aecb51cea2bb4160cd44bb911477
authorEvan Czaplicki <info@elm-lang.org>
dateMon 14 Oct 2013, 20:26 (13 years ago)
parente8a6615
compiler/Transform/Substitute.hs+3−5
@@ -21,13 +21,11 @@ subst old new expr =
2121 MultiIf ps -> MultiIf (map (f *** f) ps)
2222
2323 Let defs body
24− | any hasShadow defs -> expr
24+ | anyShadow -> expr
2525 | otherwise -> Let (map substDef defs) (f body)
2626 where
27− hasShadow def =
28− case def of
29− TypeAnnotation _ _ -> False
30− Def pattern _ -> Set.member old (SD.boundVars pattern)
27+ anyShadow =
28+ any (Set.member old . SD.boundVars) [ p | Def p _ <- defs ]
3129 substDef def =
3230 case def of
3331 TypeAnnotation _ _ -> def