root / htools / lint-hints.hs @ 5c52dae6
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 |