Statistics
| Branch: | Tag: | Revision:

root / htools / lint-hints.hs @ b647b6d7

History | View | Annotate | Download (269 Bytes)

1 5a1e31b4 Iustin Pop
-- The following two hints warn to simplify e.g. "map (\v -> (v,
2 5a1e31b4 Iustin Pop
-- True)) lst" to "zip lst (repeat True)", which is more abstract
3 5a1e31b4 Iustin Pop
warn = map (\v -> (v, x)) y ==> zip y (repeat x)
4 5a1e31b4 Iustin Pop
  where _ = notIn v x
5 5a1e31b4 Iustin Pop
warn = map (\v -> (x, v)) ==> zip (repeat x)
6 5a1e31b4 Iustin Pop
  where _ = notIn v x