projects
/
ganeti-local
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Document "--submit" in ganeti.7
[ganeti-local]
/
htools
/
lint-hints.hs
1
-- The following two hints warn to simplify e.g. "map (\v -> (v,
2
-- True)) lst" to "zip lst (repeat True)", which is more abstract
3
warn = map (\v -> (v, x)) y ==> zip y (repeat x)
4
where _ = notIn v x
5
warn = map (\v -> (x, v)) ==> zip (repeat x)
6
where _ = notIn v x