git.iko.soy/Idris-dev
on v0.99 help sign in
Idris-dev/HLint.hs
33 lines 1.2 kB history raw
1-- --------------------------------------------------------------- [ HLint.hs ]
2-- HLint suggestions we like.
3--
4-- This is a work in progress and the list of
5-- suggestions/warnings/errors will vary.
6--
7-- -------------------------------------------------------------------- [ EOH ]
9-- import "hint" HLint.HLint -- In case we want to use all of them.
11-- ------------------------------------------------------------ [ Suggestions ]
12-- Styling that are good Suggestions but are okay if found.
14suggest "Use exitSuccess"
15suggest "Use concatMap"
16suggest "Use unwords"
17suggest "Use null"
18suggest "Redundant $"
19suggest "Use list literal pattern"
20suggest "Use list literal"
22-- ------------------------------------------------------------------- [ Warn ]
23-- Styling that we think a programmer should be warned about using.
26-- ------------------------------------------------------------------ [ Error ]
27-- Styling that we think a programmer should not use at all.
30-- ----------------------------------------------------------------- [ Ignore ]
31-- Suggestions we want to ignore.
33-- -------------------------------------------------------------------- [ EOF ]